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

View PDF

Download Links

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

Documents Related by Co-Citation

667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
120 Designing an Extensible Distributed Language with a Meta-Level Architecture – Shigeru Chiba, Takashi Masuda - 1993
47 Partial Evaluation of Computation Process|an Approach to a Compiler-Compiler – Y Futamura - 1971
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
870 The Art of the Metaobject Protocol РG Kiczales, J des Rivi̬res, D G Bobrow - 1991
36 Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation – Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa - 1995
489 Concepts and experiments in computational reflection – P Maes - 1997
10 Self-applicable partial evaluation for pi-calculus – M Gengler, M Martel - 1997
201 Reflection and semantics in lisp – B C Smith - 1984