3. ADT 1984: Bremen, Germany

@proceedings{DBLP:conf/adt/1984,
  editor    = {Hans-J{\"o}rg Kreowski},
  title     = {Recent Trends in Data Type Specification, 3rd Workshop on Theory
               and Applications of Abstract Data Types, Bremen, November 13-16,
               1984, Selected Papers},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {116},
  year      = {1985},
  isbn      = {3-540-16077-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Paper

• Eric G. Wagner: Categorical Semantics, Or Extending Data Types to Include Memory. 1-21 BibTeX

Invited Notes

• Hans-Dieter Ehrich: Algebraic (?) Specification of Conceptual Database Schemata. 22-27 BibTeX
• Claus-Werner Lermen, Jacques Loeckx: OBSCURE, A New Specification Language. 28-30 BibTeX
• Donald Sannella, Andrzej Tarlecki: Some Thoughts on Algebraic Specification. 31-38 BibTeX

Contributions

• Christoph Beierle, Angi Voß: Implementation Specifications. 39-53 BibTeX
• Michel Bidoit, Christine Choppy, Frédéric Voisin: The ASSPEGIQUE Specification Environment - Motivations and Design. 54-72 BibTeX
• Hartmut Ehrig, Werner Fey, Horst Hansen: Towards Abstract User Interfaces for Formal System Specifications. 73-88 BibTeX
• Martin Gogolla: A Final Algebra Semantics for Errors and Exceptions. 89-103 BibTeX
• Klaus-Peter Hasler, Jan de Meer: OSI Transport Service Considered as an Abstract Data Type. 104-118 BibTeX
• Rolf Hennicker, Martin Wirsing: Observational Specification: A Birkhoff Theorem. 119-135 BibTeX
• Stéphane Kaplan: Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. 136-155 BibTeX
• Bernd Krieg-Brückner: Transformation of Interface Specifications. 156-170 BibTeX
• T. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. 171-177 BibTeX
• Bernhard Möller, Walter Dosch: On the Algebraic Specification of Domains. 178-195 BibTeX
• Fernando Orejas: Passing Compatibility is almost Persistency. 196-206 BibTeX
• Heiko Petzsch: Automatic Prototyping of Algebraic Specifications using PROLOG. 207-223 BibTeX
• Axel Poigné: Error Handling for Parameterized Data Types. 224-239 BibTeX
• Thomas Streicher: Model Theory of Denotational Semantics. 240-253 BibTeX