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

625 Compiling with Continuations – A Appel - 1992
83 Replacing function parameters by global variables – P Sestoft - 1988
1919 Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points – P Cousot, R Cousot - 1977
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
57 Detecting global variables in denotational specifications – David A Schmidt - 1985
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990