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

Documents Related by Co-Citation

46 Partial evaluation of computation process—an approach to a compiler-compiler,” Higher – Y Futamura - 1999
10 Self-applicable partial evaluation for pi-calculus – M Gengler, M Martel - 1997
117 Designing an Extensible Distributed Language with a Meta-Level Architecture – Shigeru Chiba, Takashi Masuda - 1993
33 Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation – Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa - 1995
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
18 Schematic: A Concurrent Object-Oriented Extension to Scheme – Kenjiro Taura, Akinori Yonezawa - 1996
190 Reflection and semantics in lisp – B C Smith - 1984
157 An Efficient Implementation of Self, a Dynamically-Typed Object-Oriented Language Based on Prototypes – Craig Chambers, David Ungar, Elgin Lee - 1991
57 An Object-Oriented Concurrent Reflective Language ABCL/R3 – Hidehiko Masuhara, Akinori Yonezawa - 2000
15 Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language – Hidehiko Masuhara, Satoshi Matsuoka, Akinori Yonezawa - 1996
12 Partial-Evaluation Techniques for Concurrent Programs – Mihnea Marinescu, Benjamin Goldberg - 1997
3 Partial Evaluator as a Compiler for Reflective Languages – Kenichi Asai, Hidehiko Masuhara, Satoshi Matsuoka, Akinori Yonezawa - 1995
4 Architecture Design and Compilation Techniques Using Partial Evaulation in Reflective Concurrent Object-Oriented Languages – Hidehiko Masuhara - 1999
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
277 A Metaobject Protocol for C++ – Shigeru Chiba - 1995
115 Reflection in an object-oriented concurrent language – T Watanabe, A Yonezawa - 1988
11 Across the bridge between reflection and partial evaluation – O Danvy - 1988
114 VCODE: A retargetable, extensible, very fast dynamic code generation system – Dawson R. Engler - 1996
148 Computational Reflection – P Maes - 1987