 |
|
|||
| Authors: | Philipp W. Kutter |
| Group: | Computer Engineering |
| Type: | Techreport |
| Title: | The Formal Definition of Anlauff's eXtensible Abstract State Machines |
| Year: | 2002 |
| Month: | June |
| Pub-Key: | Kutter02a |
| Keywords: | Abstract State Machines, Xasm, recursion, compositionality, formal semantics, denotational semantics |
| Rep Nbr: | 136 |
| Institution: | ETH Zürich |
| Resources: | [BibTeX] [Paper as PDF] |
