Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-119
Bibtype: TechReport
Author: Olin Shivers
Month: apr
Title: The Semantics of Scheme Control-flow Analysis
Year: 1991
Key: Data-flow analysis , control-flow analysis, Scheme, Lisp, ML,
        CPS, higher-order procedures, functional programming,
        optimising compilers, denotational semantics, non-standard
        abstract semantic interpretations
Address: Pittsburgh, PA