2. ADT 1983

Manfred Broy, Martin Wirsing (Eds.): Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Department of Computer Science, Technical Report

Hartmut Ehrig, Werner Fey, Horst Hansen: ACT ONE - An Algebraic Specification Language with two Levels of Semantics. BibTeX
Donald Sannella, Martin Wirsing: A Kernel Language for Algebraic Specification and Implementation. BibTeX
Claus-Werner Lermen: OBSCURE - A Language for Algorithmic Specifications. BibTeX
Hans-Jörg Kreowski: Specification of Partial Functions - Only a Tentative Suggestion. BibTeX
Bernhard Möller: Ordered and Continuous Models of Algebraic Types. BibTeX
W. Di Palma, Gianfranco Mascari: Abstract Data Types and Categorical Logic. BibTeX
Peter Dybjer: Towards a Unified Theory of Data Types: Some Categorical Aspects. BibTeX
Jacques Loeckx: Program Verification with fewer Tears. BibTeX
F. Nourani: Abstract Models for Types, Induction, and Proofs. BibTeX
Jean-Pierre Jouannaud: Programming and Checking Data Types with REVE. BibTeX
Gérard D. Guiho: Multi-Operator Algebras. BibTeX
Michel Bidoit: Algebraic Specification of Exception Handling and Error Recovery in Abstract Data Types. BibTeX
Richard Göbel: Rewrite Rules with Conditions for Algebraic Specifications. BibTeX
Jean-Luc Remy: Specifications of Errors in Data Types using Conditional Axioms. BibTeX
Martin Gogolla: Algebraic Specification of Subsorts. BibTeX
Alfred L. Luft: Scientific-Theoretic Foundations of the Concept of Abstract Data Type. BibTeX
Klaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin: Suggestions on the Interpretation of Algebraic Specifications. BibTeX
Klaus Drosten: Executing Specifications using Conditional Axioms. BibTeX
F. Nourani: Forcing with Universal Sentences and Genericity of Inductive Closures. BibTeX
Oliver Schoett: Is Data Abstraction Sound? BibTeX
Axel Poigné: Programs over Abstract Data Types. BibTeX
Harald Ganzinger: Modular Compiler Descriptions based on Abstract Semantic Data Types. BibTeX
Paulo A. S. Veloso: Problems as Abstract Data Types: Applications to Program Construction. BibTeX
Udo W. Lipeck, Hans-Dieter Ehrich: Algebraic Specifications of Database Constraints. BibTeX
Peter Pepper: Correctness of Type Transformations. BibTeX
Helmuth Partsch: Algebraic Specification of a Text Editor. BibTeX
Bernhard Hohlfeld: Implementation of Abstract Data Types in PASCAL Programs. BibTeX
Christoph Beierle, Angi Voß: A Parameterization Concept for Hierarchies of Specifications. BibTeX
Fernando Orejas: Some Results on Finite Specifiability of Parameterized Data Types. BibTeX
Franz Lichtenberger: A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. BibTeX
Herbert Klaeren: Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software Specifications. BibTeX
T. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types. BibTeX
Ulrich Grude, Peter Padawitz: Initial and Fixpoint Semantics of Algebraic Specifications. BibTeX
Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. BibTeX

Acknowledgement: The information on this page was contributed by Martin Gogolla