Working with Operational Semantics as a Programming Language

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Sebastian Hjorth Hyberts
  • Kári Frederiksen
4. semester, Software, Kandidat (Kandidatuddannelse)
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.
Udgivelsesdato17 jun. 2022
Antal sider27
ID: 473350923