Abstract State Machines




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.