Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings. 1st ed. 1980

種類:

電子ブック

責任表示:

edited by D. Bjorner

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980

著者名:

• Bjorner, D.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 86

ISBN:

9783540381365 [3540381368]    

注記:

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.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)