Control-Flow Analysis of Higher-Order Languages or Taming Lambda

著者: Olin Shivers
タイトル: Control-Flow Analysis of Higher-Order Languages or Taming Lambda
日時: May 1991
カテゴリ: CMUTR

Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-145
Bibtype: TechReport
Author: Olin Shivers
Month: may
Title: Control-Flow Analysis of Higher-Order Languages or Taming
        Lambda
Year: 1991
Key: Data-flow analysis, Scheme, Lisp, ML, CPS, type recovery,
        higher-order functions, functional programming, optimising
        compilers, denotational semantics, non-standard abstract
        semantic interpretations
Address: Pittsburgh, PA