Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Scheme-Based Interpreter


Citation: Dag Diesen, "Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages." Ph.D. Thesis, Dept. of Informatics, University of Oslo, Norway, March 1995.
Summary: A description of a functional interpreter for ASMs, with applications for functional programming languages, along with proposed extension to the language of ASMs.
Subjects: Interpreters & Tools (papers)
Download: PostScript, PDF, Compressed PostScript
Notes: