Universitšt Karlsruhe
The Sherlock-System

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.

Advisors

Alumni
Prof. Sabine Glesner

Realizer

Alumni
Dr. Rubino Geiß
Login
Links