The connection between axiomatic and denotational semantics of programming languages
By: Peter Raulefs.
Series: Interner Bericht - Fakultät für Informatik, Universität Karlsruhe ; nr. 4/77
Publisher: Univ. Karlsruhe, Fak. für Informatik
Published: 1977
Place of publication: Karlsruhe
Language: eng
Number of pages: 26
Subjects: Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references.