direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content


ASMs versus Natural Semantics: A Comparison with New Insights
Citation key ISBN: 3-540-00624-9
Author Sabine Glesner
Title of Book Abstract State Machines - Advances in Theory and Applications, Proceedings of the 10th International Workshop, ASM 2003
Pages 293-308
Year 2003
Month Mar
Editor Egon Boerger, Angelo Gargantini, Elvinia Riccobene
Publisher Springer Verlag, Lecture Notes in Computer Science, Vol. 2589
Abstract We compare three specification frameworks for the operatio\-nal semantics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, big-step and small-step semantics, with respect to two criteria: the range of imperative programming languages to which they are applicable and the way the program is used in the specifications and treated during the thereby defined execution. To reveal the fundamental differences between these three mechanisms, we investigate if there are automatic transformations between them. As a side effect, this leads to new insights concerning the classification of big-step and small-step semantics.
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe