Comparative semantic study of a simple language with atomizer and failure

Verfasser: Zeiner, Herwig
Sachtitel: Comparative semantic study of a simple language with atomizer and failure
Impressum: 1994; 48 S. : graph. Darst. 4^; Graz, Techn. Univ., Inst. fuer Informationsverarbeitung und Computerunterstuetzte neue Medien, Dip l.-Arb.,
1994
Standort: Hauptbibliothek - Magazin Technikerstrasse 4
Signatur: II 124.496
Inventarnummer: 4334P95

Abstract
The key notions of this comparative semantics study are an atomization operator which is analysed in combination with a choice operator and deadlock. The underlying domain of this language is obtained as solutions of a system of domain equations over complete metric spaces. Both an operational and a denotational semantics are defined as fixed points of a contractive higher order operator. This allows a smooth proof of the equivalence of these models by using the Banach's fixed point theorem.

Betreuer
Lucas P./De Vink E.

Institut für Informationsverarbeitung und Computergestützte neue Medien