Working with Operational Semantics as a Programming Language
Authors
Term
4. term
Education
Publication year
2022
Submitted on
2022-06-17
Pages
27
Abstract
Treating the specifications of Structural Operational Semantics as a programming language opens up for a variety of analysis methods which are commonly used in research surrounding programming languages. This paper gives a type system that uses unification to ensure specifications are well-typed and uses graph-based analyses to ensure the bindings and premises within rules are logically ordered. This opens up for research into the role of having a compiler-like tool available when learning and working with specifications of operational semantics.
Keywords
Documents