Binding Time Analysis: A New PERspective (1991)

Cached

Download Links

by Sebastian Hunt , David Sands
Venue:In Proceedings of the ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91
Citations:33 - 5 self

Active Bibliography

25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
A Semantic Model of Binding Times for Safe Partial Evaluation – Fritz Henglein David, David Sands
1 PERs from Projections for Binding-Time Analysis – Kei Davis - 1994
9 On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs – Charles Consel, Siau Cheng Khoo - 1993
16 Constructor Specialization – Torben Æ. Mogensen, Torben Ae. Mogensen
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
6 Projections for Polymorphic First-Order Strictness Analysis – John Hughes, John Launchbury - 1991
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
2 Separate Polyvariant Binding Time Reconstruction – Charles Consel, Pierre Jouvelot, Peter Ørbæk - 1994
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
2 Analyse Statique De Programmes : Fondements Et Applications – Thomas Jensen, M. Jean-pierre, Bantre Prsident, Mm Nicolas, Neil Jones, Giorgio Levi, Mm Charles, Consel Examinateurs, Daniel Le Mtayer, T. Jensen - 1999
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
Binding Ti1ne Aspects of Partial Evaluation – Torben Jegidius Mogensen
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
1 Computing Types During Partial Evaluation – Daniel Weise, Erik Ruf - 1990
1 Type Theory and Projections for Static Analysis – Clement A. Baker-Finch - 1995