PEPM
1995
ACM
13 years 10 months ago
1995
ACM
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
Partial evaluation can turn a general parser into a parser generator. The generated parsers surpass those produced by traditional parser generators in speed and compactness. We us...
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
A systematic approach is given for symbolically caching intermediate results useful for deriving incremental programs from non-incremental programs. Our method can be applied stra...
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
PEPM
1995
ACM
13 years 10 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...