Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Babel (Extended Abstract)


Citation: Egon Börger, F.J. López-Fraguas, and M. Rodríguez-Artalejo, "A model for mathematical analysis of functional logic programs and their implementations." In IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam, 410-415.
Summary: An extended abstract of an extension of the ASM for Prolog to the functional logic programming language Babel.
Subjects: Programming Languages
Download: PostScript, PDF, Compressed PostScript.
Notes: See the full version of the paper.