Diplomarbeit

[Heu98DA]

Dirk Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS, Aug 1998.

Zusammenfassung

In this thesis the transformation of the imperative programming language IS to intermediate representation MIS is specified. The verification of the transformation is proven with respect to the semantics spceification of the source and intermediate language. The dynamic semantics of the source language is specified in terms of the language AL. AL restricts the formalism of abstract state machine so that specifications of language concepts can be reused. Here, reuse of language specifications allows reuse of verified compilations. This work identifies and defines some standardized semantic concepts which are convenient for the definition of dynamic semantics of imperative programming languages.

Autoren

Alumni Dr. Dirk Heuzeroth