
Abstract Software Specifications
1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings
D. Bjorner(Editor)
Springer (Publisher)
Published on 1. June 1980
Book
Paperback/Softback
XVI, 572 pages
978-3-540-10007-2 (ISBN)
Description
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.
More details
Series
Edition
1980 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XVI, 572 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 32 mm
Weight
879 gr
ISBN-13
978-3-540-10007-2 (9783540100072)
DOI
10.1007/3-540-10007-5
Schweitzer Classification
Content
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.