Research Catalog

Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981

Title
Program specification : proceedings of a workshop, Aarhus, Denmark, August 1981 / edited by J. Staunstrup.
Publication
Berlin ; New York : Springer-Verlag, 1982.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/TextUse in library QA76.6 .P75119Off-site

Details

Additional Authors
Staunstrup, J. (Jørgen), 1952-
Description
iv, 426 pages : illustrations; 24 cm
Series Statement
Lecture notes in computer science ; 134
Uniform Title
Lecture notes in computer science ; 134.
Subject
  • Computer programs > Specifications > Congresses
  • Computer programs > Specifications
  • Programmierung
  • Softwarespezifikation
  • Spezifikation
  • Programmierung
  • Spezifikation
Genre/Form
  • Congress
  • Conference papers and proceedings.
  • Actes de congrès.
  • Kongress.
Bibliography (note)
  • Includes bibliographies and index.
Contents
Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1: Geometrical constructions -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 2: KWIC -- index generation -- Example 3: Communication network -- Example 3: Communication network -- Partial correctness of distributed programs -- Specification of distributed programs -- Robust data types -- A reduction specification for DTL -- Recursive definitions of operations in universal algebras -- The SRDL specification experiment -- Program specification by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal specifications to productive use -- A specification language -- Tecton: A language for manipulating generic objects -- Concurrency -- Workshop on program specification -- List of participants.
ISBN
  • 0387114904
  • 9780387114903
  • 3540114904
  • 9783540114901
LCCN
82005485
OCLC
  • ocm08345216
  • 8345216
  • SCSB-38771
Owning Institutions
Princeton University Library