6533b86cfe1ef96bd12c8a47
RESEARCH PRODUCT
Object-Oriented Operational Semantics
Joachim FischerAndreas PrinzBirger Møller-pedersensubject
Computer scienceProgramming language0102 computer and information sciences02 engineering and technologycomputer.file_formatcomputer.software_genre01 natural sciencesOperational semanticsAbstract machineAction semanticsDenotational semantics010201 computation theory & mathematicsVirtual machine0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingExecutablecomputerInterpreterAbstraction (linguistics)description
Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2016-01-01 |