Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Prolog-based Compiler


Citation: A. M. Kappel, Implementation of Dynamic Algebras with an Application to Prolog. Master's Thesis, Universitat Dortmund, 1990.
Summary: A description of a Prolog-based compiler for ASMs.
Subjects: Interpreters & Tools
Download: PostScript, PDF, Compressed PostScript
Notes: See also the extended abstract for this paper.