877 search results - page 93 / 176 » Annotated Revision Programs |
134
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
137
Voted
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
110
click to vote
PLDI
1995
ACM
15 years 6 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
133
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
226
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...