Working with Operational Semantics as a Programming Language

Student thesis: Master Thesis and HD Thesis

  • Sebastian Hjorth Hyberts
  • Kári Frederiksen
4. term, Software, Master (Master Programme)
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.
Publication date17 Jun 2022
Number of pages27
ID: 473350923