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
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Book/Text | Use in library | QA76.6 .P75119 | 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
- 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