Skip to main content
SpringerLink
Log in

Program Specification

Proceedings of a Workshop Aarhus, Denmark, August 1981

  • Conference proceedings
  • © 1982

Overview

Editors:
  1. Jørgen Staunstrup
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 134)

Included in the following conference series:

Conference proceedings info: ProgSpec 1981.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    • J. Staunstrup
    Pages 1-4

  3. Program specification: Issues and observations

    • J. J. Horning
    Pages 5-24

  4. Example 1: Geometrical constructions

    • Jørgen Staunstrup
    Pages 25-30

  5. Example 1: Geometrical constructions

    • Joseph A. Goguen
    Pages 31-46

  6. Example 2: KWIC — index generation

    • J. Steensgaard-Madsen
    Pages 47-62

  7. Example 2: KWIC — index generation

    • J. W. Hughes, M. S. Powell
    Pages 63-77

  8. Example 2: KWIC — index generation

    • H. Ehrig, H. -J. Kreowski
    Pages 78-83

  9. Example 2: KWIC — index generation

    • Leif Sandegaard Nielsen
    Pages 84-87

  10. Example 2: KWIC — index generation

    • J. R. Abrial, I. H. Sørensen
    Pages 88-95

  11. Example 2: KWIC — index generation

    • R. M. Gallimore, D. Coleman
    Pages 96-113

  12. Example 2: KWIC — index generation

    • Joseph A. Goguen
    Pages 114-117

  13. Example 3: Communication network

    • Leif Sandegaard Nielsen
    Pages 118-122

  14. Example 3: Communication network

    • Ib Holm Sørensen
    Pages 123-136

  15. Partial correctness of distributed programs

    • D. Coleman, R. M. Gallimore
    Pages 137-180

  16. Specification of distributed programs

    • R. M. Gallimore, D. Coleman
    Pages 181-214

  17. Robust data types

    • Flaviu Cristian
    Pages 215-254

  18. A reduction specification for DTL

    • J. W. Hughes, M. S. Powell
    Pages 255-267

  19. Recursive definitions of operations in universal algebras

    • H. A. Klaeren
    Pages 268-281

  20. The SRDL specification experiment

    • H. A. Klaeren
    Pages 282-293
Back to top

Other volumes

  1. Program Specification

Keywords

Bibliographic Information

  • Book Title: Program Specification

  • Book Subtitle: Proceedings of a Workshop Aarhus, Denmark, August 1981

  • Editors: Jørgen Staunstrup

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-11490-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11490-1Published: 01 April 1982

  • eBook ISBN: 978-3-540-39176-0Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VI, 426

  • Topics: Logics and Meanings of Programs, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation