Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Evolving Algebra Abstract Machine


Citation: Giuseppe Del Castillo, Igor Durdanovic, and Uwe Glässer, "An Evolving Algebra Abstract Machine", in Computer Science Logic, Selected papers from CSL'95, ed. H.K. Büning, Springer Lecture Notes in Computer Science 1092, 1996, 191--214.
Summary: Introduces the concept of an evolving algebra abstract machine (EAM) as a platform for the systematic development of ASM tools and gives a formal definition of the EAM ground model in terms of a universal ASM. (ASMs were formerly known as "evolving algebras".)
Subjects: Interpreters & Tools (papers)
Download: PostScript, PDF, Compressed PostScript
Notes: Presented at CSL'95.