|
 |
|
 | |  |
| Diplomarbeit[Heu98DA] | Dirk Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS, Aug 1998.
|
ZusammenfassungIn 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
| | | |