Higher-order control-flow analysis in retrospect: Lessons learned, lessons...  Home/Search
Context
Related
| gatech.edu/fac/Olin.Shiv...cfaretro.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gatech.edu/fac/Olin.S...citations (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction A tremendous amount of work has been carried out in the general area of program analysis of higher-order languages, both before and after the publication of "Control-flow analysis in Scheme" in PLDI. In the space allowed here, I could never hope to tie my 1988 paper properly into this daunting canon of research. So, instead, I will focus on summarising some major directions that were pursued afterwards, and (more significantly) some elements of the paper's message that, to me,... (Update)
Similar documents based on text: More All
0.2: Constraint Systems for Useless Variable Elimination - Wand, Siveroni (1999) (Correct)
0.2: Continuations and threads: Expressing machine concurrency.. - Olin Shivers Mit (1997) (Correct)
0.2: Automatic Management of Operating-System Resources - Shivers (1997) (Correct)
BibTeX entry: (Update)
@misc{ analysis-retrospective,
author = "Higher-Order Control-Flow Analysis",
title = "Retrospective:",
url = "citeseer.ist.psu.edu/697897.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
264 Safe kernel extensions without run-time checking - Necula, Lee - 1996
220 ORBIT: An Optimizing Compiler for Scheme (context) - Kranz - 1988
176 Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
155 The essence of compiling with continuations - Flanagan, Sabry et al. - 1993
116 RABBIT: A Compiler for SCHEME (context) - Jr - 1978
88 A type system equivalent to flow analysis - Palsberg, O'Keefe - 1995
68 On determining lifetime and aliasing of dynamically allocate.. (context) - Deutsch
34 Linear-time subtransitive control flow analysis - Heintze, McAllester - 1997
34 Data-flow analysis is model checking of abstract interpretat.. (context) - Schmidt - 1998
31 Flow analysis of lambda expressions (context) - Jones - 1981
30 A practical and flexible flow analysis for higher-order lang.. - Ashley, Dybvig - 1988
24 Constraint systems for useless variable elimination - Wand, Siveroni - 1999
22 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
16 A correspondence between continuation-passing style and stat.. - Kelsey - 1995
10 Polymorphic splitting: An effective polyvariant flow analysi.. - Wright, Jagannathan - 1998
5 Compilation by Program Transformation (context) - Kelsey - 1989
1 A calculus for polymorphic and polyvariant flow types (context) - Wells, Dimock et al.
Documents on the same site (http://www.cc.gatech.edu/fac/Olin.Shivers/citations.html):
Automatic Management of Operating-System Resources - Shivers (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC