ASMs versus Natural Semantics: A Comparison with New Insights

Abstract. We compare three specification frameworks for the operationtics 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.

• Type: Conference
• Year: 2003
• Where: ASM
• Authors: Sabine Glesner
• Keywords: Abstract State Machines, ASM 2003, Microbiology, Programming Languages, Small-step Semantics