UID:
edocfu_9959186249002883
Umfang:
1 online resource (XVI, 572 p.)
Ausgabe:
1st ed. 1980.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-38136-8
Serie:
Lecture Notes in Computer Science, 86
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
Abstract Architecture -- Foundations of denotational semantics -- Models of programming language concepts -- Formalization of data base models -- Experiments in block-structured GOTO language modeling: — EXITs versus continuations -- An introduction to data algebras -- Time sequences as a tool for describing program behaviour -- The semantics of clear, a specification language -- An example of hierarchical program specification -- Modular program construction using abstractions -- On the structure of application programs -- Abstract objects as abstract data types -- Design and analysis of highly parallel and distributed systems -- On the semantics of fair parallelism -- Dijkstra's predicate transformers and smyth's powerdomains -- Banquet talk.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 3-540-10007-5
Sprache:
Englisch
DOI:
10.1007/3-540-10007-5
URL:
http://dx.doi.org/10.1007/3-540-10007-5
