Abstract State Machines




ASM Studies

Prolog-based Compiler (Extended Abstract)

Citation: A. M. Kappel, "Executable Specifications based on Dynamic Algebras." In A. Voronkov, editor, Logic Programming and Automated Reasoning, volume 698 of LNAI, Springer, 1993, pages 229-240.
Summary: An extended abstract describing a Prolog-based compiler for ASMs.
Subjects: Interpreters & Tools
Download: PostScript, PDF, Compressed PostScript
Notes: See also the full version of this paper.