The semantics of Scheme control-flow analysis (1991)

Cached

Download Links

by Olin Shivers
Venue:School of Computer Science, Pittsburgh
Citations:57 - 3 self

Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
308 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
113 Set-based analysis of ML programs – N HEINTZE - 1994
625 Compiling with Continuations – A Appel - 1992
645 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
204 Control Flow Analysis in Scheme – Olin Shivers - 1988
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
944 A theory of type polymorphism in programming – Robin Milner - 1978