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.
| Language | English |
|---|---|
| Publication date | 12 Jun 2020 |
| Number of pages | 114 |
| Keywords | Semantics, Metalanguage, Interpreter, Latex, Natural Semantics, Structural Operational Semantics |
|---|