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. No Access

    Book Chapter

    Pages 1-42

    Abstract Architecture

  2. No Access

    Book Chapter

    Pages 43-99

    Foundations of denotational semantics

  3. No Access

    Book Chapter

    Pages 100-143

    Models of programming language concepts

  4. No Access

    Book Chapter

    Pages 144-215

    Formalization of data base models

  5. No Access

    Book Chapter

    Pages 216-247

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

  6. No Access

    Book Chapter

    Pages 248-272

    An introduction to data algebras

  7. No Access

    Book Chapter

    Pages 273-290

    Time sequences as a tool for describing program behaviour

  8. No Access

    Book Chapter

    Pages 292-332

    The semantics of clear, a specification language

  9. No Access

    Book Chapter

    Pages 333-353

    An example of hierarchical program specification

  10. No Access

    Book Chapter

    Pages 354-389

    Modular program construction using abstractions

  11. No Access

    Book Chapter

    Pages 390-438

    On the structure of application programs

  12. No Access

    Book Chapter

    Pages 439-450

    Abstract objects as abstract data types

  13. No Access

    Book Chapter

    Pages 451-503

    Design and analysis of highly parallel and distributed systems

  14. No Access

    Book Chapter

    Pages 504-526

    On the semantics of fair parallelism

  15. No Access

    Book Chapter

    Pages 527-553

    Dijkstra's predicate transformers and smyth's powerdomains

  16. No Access

    Book Chapter

    Pages 554-563

    Banquet talk