Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86, Band 86) - Softcover

Bjorner, D.

 
9783540100072: Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings (Lecture Notes in Computer Science, 86, Band 86)
Softcover
ISBN 10: 3540100075 ISBN 13: 9783540100072
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540100075
ISBN 13 
9783540100072
Einband
Taschenbuch
Anzahl der Seiten
588
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387100074: Abstract Software Specifications: 1979 Copenhagen Winter School, January 22-February 2, 1979 : Proceedings (Lecture Notes in Computer Science, 86)

Vorgestellte Ausgabe

ISBN 10:  0387100075 ISBN 13:  9780387100074
Verlag: Springer-Verlag, 1980
Softcover