Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/eam.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/eam.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT