Evolving algebras 1993: Lipari guide
Specification and validation methods
A natural semantics for Eiffel dynamic binding
ACM Transactions on Programming Languages and Systems (TOPLAS)
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using many-sorted natural semantics to specify and generate semantic analysis
Proceedings of the IFIP TC2 WG2.4 working conference on Systems implementation 2000 : languages, methods and tools: languages, methods and tools
The Definition of Standard ML
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
The Definition of Standard ML
Implementation of an Interpreter for a Parallel Language in Centaur
ESOP '90 Proceedings of the 3rd European Symposium on Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Coinductive Verification of Program Optimizations Using Similarity Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards proving type safety of .NET CIL
Science of Computer Programming
| Hi-index | 0.00 |
We compare three specification frameworks for the operational 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.