A Loop-detecting Interpreter for Lazy, Higher-order Programs (1992)

Cached

Download Links

by John Hughes , Chalmers Tekniska Hogskola , Alex Ferguson
Venue:Functional Programming, Workshops in Computing
Citations:6 - 0 self

Active Bibliography

25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
54 The semantics of Scheme control-flow analysis – Olin Shivers - 1991
2 Applying Partial Evaluation to VLSI Design Rule Checking – Bryan O'Sullivan, Supervisor Andrew Butterfield - 1995
1 Properties of Infinite Reduction Paths in Untyped λ-Calculus – Morten Heine Sørensen, Morten Heine S��rensen
Automatic Parallelization of Lazy Functional Programs – Guido Hogen Andrea, Andrea Kindler, Rita Loogen - 1992
2 Fast Strictness Analysis Via Symbolic Fixpoint Iteration – Charles Consel - 1991
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
15 Code optimizations for lazy evaluation – Adrienne Bloss, Paul Hudak, Jonathan Young - 1988
23 Verification of Temporal Properties of Concurrent Systems – Henrik Reif Andersen - 1993
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
8 Transformation in a Non-Strict Language: An Approach to Instantiation – Colin Runciman, Mike Firth, Nigel Jagger - 1989
13 On Static and Dynamic Control-Flow Information in Program Analysis and Transformation – Daniel Damian, Daniel Damian - 2001
Playful, streamlike computation – Pierre-louis Curien - 2003
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
Design of an Event-Oriented Functional Parallel Language: the Finite Case – Fr'ed'eric Loulergue
Un Langage Fonctionnel Pur D'ordre Supérieur Explicitement Parallèle – Frédéric Loulergue - 1997
L'approche Berry-Curien des langages fonctionnels: application au parall'elisme en processus statiques – Ga'etan Hains Laboratoire - 1996
Design of an Event-Oriented Functional Parallel Language: the Finite Case – Fr'ed'eric Loulergue And
Un Langage Explicitement Parall Ele Fonctionnel Pur D'ordre – Sup Erieur Frederic, Frédéric Loulergue - 1997