Abstract is missing.
- Program Verification with fewer TearsJacques Loeckx.
- Suggestions on the Interpretation of Algebraic SpecificationsKlaus-Peter Hasler, Hans-Jörg Kreowski, Michael Löwe, Michaela Reisin.
- Ordered and Continuous Models of Algebraic TypesBernhard Möller.
- A Kernel Language for Algebraic Specification and ImplementationDonald Sannella, Martin Wirsing.
- Rewrite Rules with Conditions for Algebraic SpecificationsRichard Göbel.
- Abstract Data Types and Categorical LogicW. Di Palma, Gianfranco Mascari.
- Algebraic Specification of a Text EditorHelmuth Partsch.
- Multi-Operator AlgebrasGérard D. Guiho.
- Structuring of Specifications within a Logical Theory of Data TypesT. S. E. Maibaum.
- A Parameterization Concept for Hierarchies of SpecificationsChristoph Beierle, Angi Voß.
- ACT ONE - An Algebraic Specification Language with two Levels of SemanticsHartmut Ehrig, Werner Fey, Horst Hansen.
- Specification of Partial Functions - Only a Tentative SuggestionHans-Jörg Kreowski.
- Algebraic Specification of SubsortsMartin Gogolla.
- A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic ImplementationFranz Lichtenberger.
- Executing Specifications using Conditional AxiomsKlaus Drosten.
- Programming and Checking Data Types with REVEJean-Pierre Jouannaud.
- Algebraic Specifications of Database ConstraintsUdo W. Lipeck, Hans-Dieter Ehrich.
- Towards a Unified Theory of Data Types: Some Categorical AspectsPeter Dybjer.
- Initial and Fixpoint Semantics of Algebraic SpecificationsUlrich Grude, Peter Padawitz.
- Implementation of Abstract Data Types in PASCAL ProgramsBernhard Hohlfeld.
- Some Thoughts on Practical Usefulness of Operational and Initial Semantics for Algebraic Software SpecificationsHerbert Klaeren.
- Programs over Abstract Data TypesAxel Poigné.
- OBSCURE - A Language for Algorithmic SpecificationsClaus-Werner Lermen.
- Correctness of Type TransformationsPeter Pepper.
- Is Data Abstraction Sound?Oliver Schoett.
- Scientific-Theoretic Foundations of the Concept of Abstract Data TypeAlfred L. Luft.
- Problems as Abstract Data Types: Applications to Program ConstructionPaulo A. S. Veloso.
- Modular Compiler Descriptions based on Abstract Semantic Data TypesHarald Ganzinger.
- Generalized Heterogeneous AlgebrasManfred Broy, Martin Wirsing.
- Some Results on Finite Specifiability of Parameterized Data TypesFernando Orejas.
- Algebraic Specification of Exception Handling and Error Recovery in Abstract Data TypesMichel Bidoit.
- Specifications of Errors in Data Types using Conditional AxiomsJean-Luc Remy.