Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1980

Abstract Software Specifications

1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Editors:

  1. Dines Bjøorner
    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 86)

Sections

Buy it now

Softcover Book USD 59.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

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

Table of contents (16 papers)

  1. Front Matter

    PDF

  2. Abstract Architecture

    • Heinz Zemanek
    Pages 1-42

  3. Foundations of denotational semantics

    • Joseph E. Stoy
    Pages 43-99

  4. Models of programming language concepts

    • C. B. Jones
    Pages 100-143

  5. Formalization of data base models

    • Dines Bjørner
    Pages 144-215

  7. An introduction to data algebras

    • Stephen N. Zilles
    Pages 248-272

  9. The semantics of clear, a specification language

    • R. M. Burstall, J. A. Goguen
    Pages 292-332

  10. An example of hierarchical program specification

    • Bálint Dömölki
    Pages 333-353

  12. On the structure of application programs

    • Peter Lucas
    Pages 390-438

  13. Abstract objects as abstract data types

    • H. Gerstmann, A. Ollongren
    Pages 439-450

  14. Design and analysis of highly parallel and distributed systems

    • P. E. Lauer, M. W. Shields, E. Best
    Pages 451-503

  15. On the semantics of fair parallelism

    • David Park
    Pages 504-526

  17. Banquet talk

    • Heinz Zemanek
    Pages 554-563

  18. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Abstract Software Specifications

  • Book Subtitle: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

  • Editors: Dines Bjøorner

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-10007-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10007-2Published: 01 June 1980

  • eBook ISBN: 978-3-540-38136-5Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVI, 572

  • Topics: Software Engineering

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 59.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

Search

Navigation