Constructor Specialization (0)

Cached

Download Links

by Torben Æ. Mogensen , Torben Ae. Mogensen
Venue:In Schmidt [25
Citations:16 - 2 self

Active Bibliography

A Semantic Model of Binding Times for Safe Partial Evaluation – Fritz Henglein David, David Sands
11 Inherited limits – Torben Æ. Mogensen - 1999
12 On the Specialization of Online Program Specializers – Erik Ruf, Daniel Weise - 1992
20 Generating a Compiler for a Lazy Language by Partial Evaluation – Jesper Jørgensen - 1992
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
5 Implementing Memoization for Partial Evaluation – Peter Thiemann - 1997
9 Evolution of partial evaluators: removing inherited limits – Torben Mogensen - 1996
33 Binding Time Analysis: A New PERspective – Sebastian Hunt, David Sands - 1991
8 Generation of LR Parsers by Partial Evaluation – Michael Sperber, Peter Thiemann - 2000
235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999
4 Polymorphic Specialization for ML – Simon Helsen, Peter Thiemann - 2002
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
8 Polyvariant Expansion and Compiler Generators – Peter Thiemann, Michael Sperber - 1996
2 Separate Polyvariant Binding Time Reconstruction – Charles Consel, Pierre Jouvelot, Peter Ørbæk - 1994
9 On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs – Charles Consel, Siau Cheng Khoo - 1993
Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop – Flemming Nielson, (Ed.) - 1993
9 Binding-time Analysis: Abstract Interpretation versus Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1994