Self-Applicable Partial Evaluation

Citation:	Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, and Marcelo de Almeida Maia, "A Self-Applicable Partial Evaluator for ASM". In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, eds., Abstract State Machines -- ASM 2000, International Workshop on Abstract State Machines, Monte Verita, Switzerland, Local Proceedings, TIK-Report 87, Swiss Federal Institute of Technology (ETH) Zurich, March 2000, 115--130.
Summary:	A partial evaluator for ASMs is described which is self-applicable (i.e. capable of being applied to itself). The use of such a tool for compiler generation and techniques for describing language semantics suitable for partial evaluation are discussed.
Subjects:	ASM Explorations
Download:	PostScript, PDF, Compressed PostScript
Notes:	An extension of previous work. See also the detailed implementation.

[an error occurred while processing this directive]

Abstract State Machines