Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Babel


Citation: Egon Börger, F.J. López-Fraguas, and M. Rodríguez-Artalejo, "Towards a Mathematical Specification of a Graph-Narrowing Machine," Technical Report DIA 94/5, March 1994, Dep. de Informatica y Automatica, Universidad Complutense, Madrid.
Summary: An extension of the ASM for Prolog to the functional logic programming language Babel.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript
Notes: