A Pedagogical Semantics-Directed Metalanguage

Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  • Georgian-Vlad Saioc
4. semester, Datalogi (it), Kandidat (Kandidatuddannelse)
This report presents a metalanguage based on natural semantics. It is designed specifically with pedagogical purposes in mind.The focus of the report it lies in presenting the specifications of the metalanguage, as well as the underlying implementation.
Udgivelsesdato12 jun. 2020
Antal sider114
ID: 334091120