Abstract Software Specifications

1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Editors:

ISBN: 978-3-540-10007-2 (Print) 978-3-540-38136-5 (Online)

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-42

    Abstract Architecture

  3. No Access

    Book Chapter

    Pages 43-99

    Foundations of denotational semantics

  4. No Access

    Book Chapter

    Pages 100-143

    Models of programming language concepts

  5. No Access

    Book Chapter

    Pages 144-215

    Formalization of data base models

  6. No Access

    Book Chapter

    Pages 216-247

    Experiments in block-structured GOTO language modeling: — EXITs versus continuations

  7. No Access

    Book Chapter

    Pages 248-272

    An introduction to data algebras

  8. No Access

    Book Chapter

    Pages 273-290

    Time sequences as a tool for describing program behaviour

  9. No Access

    Book Chapter

    Pages 292-332

    The semantics of clear, a specification language

  10. No Access

    Book Chapter

    Pages 333-353

    An example of hierarchical program specification

  11. No Access

    Book Chapter

    Pages 354-389

    Modular program construction using abstractions

  12. No Access

    Book Chapter

    Pages 390-438

    On the structure of application programs

  13. No Access

    Book Chapter

    Pages 439-450

    Abstract objects as abstract data types

  14. No Access

    Book Chapter

    Pages 451-503

    Design and analysis of highly parallel and distributed systems

  15. No Access

    Book Chapter

    Pages 504-526

    On the semantics of fair parallelism

  16. No Access

    Book Chapter

    Pages 527-553

    Dijkstra's predicate transformers and smyth's powerdomains

  17. No Access

    Book Chapter

    Pages 554-563

    Banquet talk

  18. Back Matter

    Pages -