The semantics of Scheme control-flow analysis (1991)

Cached

Download Links

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

Documents Related by Co-Citation

114 Set-based analysis of ML programs – Nevin Heintze - 1994
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
198 Control Flow Analysis in Scheme – Olin Shivers - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
49 Effective Flow Analysis for Avoiding Run-Time Checks – Suresh Jagannathan, Andrew Wright - 1995
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
57 Closure Analysis in Constraint Form – Jens Palsberg - 1995
625 Compiling With Continuations – A W Appel - 1992
91 The interprocedural analysis and automatic parallelization of scheme programs – W L Harrison - 1989
85 Abstract interpretation: a semantics-based tool for program analysis – N D Jones, F Nielson - 1994
73 A Unified Treatment of Flow Analysis in Higher-Order Languages – Suresh Jagannathan, Stephen Weeks - 1995
628 Systematic design of program analysis frameworks – Patrick Cousot, Radhia Cousot - 1979
71 Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation – Patrick Cousot, Radhia Cousot - 1995
49 Analysis and Efficient Implementation of Functional Programs – Peter Sestoft - 1991
32 Data-flow analysis and type recovery in scheme – O Shivers - 1991
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
119 Iterative type analysis and extended message splitting: Optimizing dynamically-typed object-oriented programs – Craig Chambers, David Ungar - 1990
9 Polyvariant binding-time analysis for higher-order, applicative languages – Charles Consel - 1993