Umfang:
Online-Ressource (XI, 566 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540381365
Serie:
Lecture notes in computer science 86
Inhalt:
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.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540100075
Weitere Ausg.:
ISBN 0387100075
Weitere Ausg.:
ISBN 9783540100072
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Abstract software specifications Berlin [u.a.] : Springer, 1980 ISBN 3540100075
Weitere Ausg.:
ISBN 0387100075
Sprache:
Englisch
Schlagwort(e):
Konferenzschrift
DOI:
10.1007/3-540-10007-5
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
