Syntactic Detection of Single-Threading using Continuations (1991)

Cached

Download Links

by Pascal Fradet
Venue:FPCA'91
Citations:9 - 0 self

Documents Related by Co-Citation

81 Replacing function parameters by global variables, in: J.E. Stoy (Ed – P Sestoft - 1989
56 Detecting global variables in denotational specifications. ACM transactions on programming languages and systems – D A Schmidt - 1985
625 Compiling With Continuations – A W Appel - 1992
179 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
49 Analysis and Efficient Implementation of Functional Programs – Peter Sestoft - 1991
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
70 A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages – Charles Consel - 1993
207 Type-directed partial evaluation – Olivier Danvy - 1996
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
63 Compiling Lazy Functional Languages – T Johnsson - 1987
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
76 Lightweight Closure Conversion – Paul A. Steckler, Mitchell Wand - 1996
333 The mechanical evaluation of expressions – P J Landin - 1964
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993