Winter School: Abstract Software Specifications 1979: Copenhagen, Denmark

@proceedings{DBLP:conf/ac/1979ass,
  editor    = {Dines Bj{\o}rner},
  title     = {Abstract Software Specifications, 1979 Copenhagen Winter School,
               January 22 - February 2, 1979, Proceedings},
  booktitle = {Abstract Software Specifications},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {86},
  year      = {1980},
  isbn      = {3-540-10007-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Prelude

• Heinz Zemanek: Abstract Architecture. 1-42 BibTeX

Constructive Definitions

• Joseph E. Stoy: Foundations of Denotational Semantics. 43-99 BibTeX
• Cliff B. Jones: Models of Programming Language Concepts. 100-143 BibTeX
• Dines Bjørner: Formalization of Data Base Models. 144-215 BibTeX
• Dines Bjørner: Experiments in Block-structured GOTO Modelling: exits vs. Continuations. 216-247 BibTeX

Algebraic Semantics

• Stephen N. Zilles: Introduction to Data Algebra. 248-272 BibTeX
• Ole-Johan Dahl: Time Swquences as a Tool for Describing Program Behaviour. 273-290 BibTeX
• Rod M. Burstall, Joseph A. Goguen: The Semantics of CLEAR, A Specification Language. 292-332 BibTeX
• Bálint Dömölki: An Example of Hierarchical Program Specification. 333-353 BibTeX

Program Specifications

• Barbara Liskov: Modular Program Construction Using Abstractions. 354-389 BibTeX
• Peter Lucas: On the Structure of Application Programs. 390-438 BibTeX

An Interlude

• H. Gerstmann, Alexander Ollongren: Abstract Objects as Abstract Data Types. 439-450 BibTeX

Parallelism & Non-determinism

• Peter E. Lauer, M. W. Shields, Eike Best: Design & Analysis of Highly Parallel & Distributed Systems. 451-503 BibTeX
• David Michael Ritchie Park: On the Semantics of Fair Parallelism. 504-526 BibTeX
• Gordon D. Plotkin: Dijkstras Predicate Transformers & Smyth's Power Domaine. 527-553 BibTeX

Postlude

• Heinz Zemanek: Banquet Talk. 554-563 BibTeX