5. ADT 1987: Gullane, Scotland

@proceedings{DBLP:conf/adt/1987,
  editor    = {Donald Sannella and
               Andrzej Tarlecki},
  title     = {Recent Trends in Data Type Specification, 5th Workshop on Abstract
               Data Types, Gullane, Scotland, September 1-4, 1987, Selected
               Papers},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {332},
  year      = {1987},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Michel Bidoit: The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22 BibTeX
• Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode: Algebraic Data Type and Process Specifications based on Projection Spaces. 23-43 BibTeX
• José Luiz Fiadeiro, Amílcar Sernadas: Structuring Theories on Consequence. 44-72 BibTeX
• Harald Ganzinger: Completion with History-Dependent Complexities for Generated Equations. 73-91 BibTeX
• Annegret Habel, Hans-Jörg Kreowski, Detlef Plump: Jungle Evaluation. 92-112 BibTeX
• Horst Hansen: The ACT System: Experiences and Future Enhancements. 113-130 BibTeX
• Thomas Lehmann, Jacques Loeckx: The Specification Language of OBSCURE. 131-153 BibTeX
• Bernhard Möller, Andrzej Tarlecki, Martin Wirsing: Algebraic Specifications of Reachable Higher-Order Algebras. 154-169 BibTeX
• Tobias Nipkow: Observing Non-Deterministic Data Types. 170-183 BibTeX
• Pilar Nivela, Fernando Orejas: Initial Behaviour Semantics for Algebraic Specifications. 184-207 BibTeX
• Axel Poigné: Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234 BibTeX
• Horst Reichel: Operational Semantics of Behavioural Canons based on Narrowing. 235-248 BibTeX
• Jos L. M. Vrancken: The Algebraic Specification of Semi-Computable Data Types. 249-259 BibTeX