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