[an error occurred while processing this directive]
[an error occurred while processing this directive]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. |