Amazon cover image
Image from Amazon.com

Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 86.Publisher: Berlin : New York : Springer-Verlag, 1980Description: 1 online resource (xi, 566 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540381365
  • 3540381368
  • 0387100075
  • 9780387100074
Subject(s): Genre/Form: Additional physical formats: Print version:Copenhagen Winter School on Abstract Software Specifications (1979).: Abstract software specifications.DDC classification:
  • 001.64/2
LOC classification:
  • QA76.6 .C656 1979
Other classification:
  • 54.50
  • 007.6406
  • SS 4800
Online resources:
Contents:
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.
Production credits:
  • Sponsored by the Commission of the European Communities and others.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

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.

Powered by Koha