2947 search results - page 85 / 590 » Analyzing Program Analyses |
111
Voted
POPL
1999
ACM
15 years 6 months ago
1999
ACM
This paper presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type system, usi...
119
Voted
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
123
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
89
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
130
click to vote
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...