Studien thesis (closed)
A Prototype for Many-Sorted Natural Semantics
The system uses a specification method called Many Sorted Natural Semantics for describing the static semantics of a language. Together with a lexical specification a frontend is generated. For a given program the frontend prints a annotated AST and tells if the program is correct under the given specification.