Universitšt Karlsruhe
The Sherlock-System

Studienarbeit (abgeschlossen)

A Prototype for Many-Sorted Natural Semantics

[Leider nur Englisch] 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.

Betreuer

Alumni
Prof. Sabine Glesner

Bearbeiter

Alumni
Dr. Rubino Geiß
Login
Links