Project number 9999
Semantic Description Languages allow to specify the semantics of programming languages. These descriptions can then be used for performing analyses and transformations on the semantic of a programming language. This project will develop a tool for parsing such semantic descriptions, and will perform a first analysis on the intermediate representation.
Kasper Svendsen