Research Catalog

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

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