Sciweavers

PEPM
1991
ACM
13 years 8 months ago
The Semantics of Scheme Control-Flow Analysis
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
Olin Shivers
PEPM
1991
ACM
13 years 8 months ago
Compiling Inheritance using Partial Evaluation
Siau-Cheng Khoo, R. S. Sundaresh
PEPM
1991
ACM
13 years 8 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen