The semantics of Scheme control-flow analysis
- 1 May 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (9) , 190-198
- https://doi.org/10.1145/115866.115884
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- The semantics of Scheme control-flow analysisPublished by Association for Computing Machinery (ACM) ,1991
- Continuation-passing, closure-passing stylePublished by Association for Computing Machinery (ACM) ,1989
- Replacing function parameters by global variablesPublished by Association for Computing Machinery (ACM) ,1989
- Control flow analysis in schemePublished by Association for Computing Machinery (ACM) ,1988
- ORBIT: an optimizing compiler for schemePublished by Association for Computing Machinery (ACM) ,1986
- A semantic model of reference counting and its abstraction (detailed summary)Published by Association for Computing Machinery (ACM) ,1986
- Variations on strictness analysisPublished by Association for Computing Machinery (ACM) ,1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977