A Pedagogical Semantics-Directed Metalanguage

Student thesis: Master Thesis and HD Thesis

  • Georgian-Vlad Saioc
4. term, Computer Science (IT), Master (Master Programme)
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.
Publication date12 Jun 2020
Number of pages114
ID: 334091120