Normal view MARC view ISBD view

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner. - 1 online resource (xi, 566 pages) : illustrations - Lecture notes in computer science ; 86 . - Lecture notes in computer science ; 86. .

Sponsored by the Commission of the European Communities and others.

Includes bibliographical references.

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.

Sponsored by the Commission of the European Communities and others. Sponsored by the Commission of the European Communities and others.

ISBN: 9783540381365 3540381368 0387100075 9780387100074

Nat. Bib. Agency Control No.: 801110475 DE-101 011539403 Uk

Subjects--Topical Terms:
Computer programming--Congresses.
Programmation (Informatique)--Congrès.
Computer programming.
Programmierung
Softwareentwicklung
Kongreß.

Index Terms--Genre/Form:
Conference papers and proceedings.

LC Class. No.: QA76.6 / .C656 1979

Dewey Class. No.: 001.64/2