Partial Evaluation of Call-by-value lambda-calculus with Side-effects (0)

Cached

Download Links

by Kenichi Asai , Hidehiko Masuhara , Akinori Yonezawa
Venue:ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97
Citations:5 - 5 self

Active Bibliography

3 Integrating Partial Evaluators into Interpreters – Kenichi Asai - 2001
12 Binding-Time Analysis for Both Static and Dynamic Expressions – Kenichi Asai, Human Activity - 1999
18 C Program Specialization – Lars Ole Andersen - 1992
1 Can Partial Evaluation Improve the Performance of Ray Tracing? – Kenichi Asai - 2002
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
29 What Not to Do When Writing an Interpreter for Specialisation – Neil D. Jones - 1996
1 Hybrid Partial Evaluation – Amin Shali, William R. Cook
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
94 DyC: An Expressive Annotation-Directed Dynamic Compiler for C – Brian Grant , Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers
18 Effective Specialization of Realistic Programs via Use Sensitivity РLuke Hornof, Charles Consel, Jacques Noyé, Rue Alfred Kastler - 1997
3 Partial Evaluator as a Compiler for Reflective Languages – Kenichi Asai, Hidehiko Masuhara, Satoshi Matsuoka, Akinori Yonezawa - 1995
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
7 A Unified Framework for Binding-Time Analysis – Peter Thiemann - 1997
207 Type-directed partial evaluation – Olivier Danvy - 1996
4 Architecture Design and Compilation Techniques Using Partial Evaulation in Reflective Concurrent Object-Oriented Languages – Hidehiko Masuhara - 1999
13 Towards Partial Evaluation of Full Scheme – Peter Thiemann - 1996
14 Eliminating dead code on recursive data – Yanhong A. Liu, Scott D. Stoller - 1999
11 Compiler Generation for Interactive Graphics using Intermediate Code – Scott Draves - 1996