Abstract is missing.
- ADT Implementation and Completion by Induction from ExamplesGuntis Barzdins. 1-10
- An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication ProtocolsMohamed Bettaz. 11-30
- The Specification Language GSBLSilvia Clerici, Fernando Orejas. 31-51
- Composition of Algebraic High-Level NetsChristian Dimitrovici, Ulrich Hummert. 52-73
- A Match Operation for Rule-Based Modular System DesignHartmut Ehrig, Francesco Parisi-Presicce. 74-97
- Towards Object-Oriented Algebraic SpecificationsMartin Große-Rhode. 98-116
- Inductive Completion for Transformation of Equational SpecificationsSteffen Lange, Klaus P. Jantke. 117-140
- A Notion of Implementation for the Specification Language OBSCUREThomas Lehmann. 141-165
- Model-Theoretic Specifications and Back-and-Forth EquivalencesGianfranco Mascari, Antonio Vincenzi. 166-184
- Universal Algebra in Higher TypesKarl Meinke. 185-203
- Clausal Rewriting: Applications and ImplementationRobert Nieuwenhuis, Fernando Orejas. 204-219
- Constraints for Behavioural SpecificationsFernando Orejas, Pilar Nivela. 220-245
- Entities: An Institution for Dynamic SystemsGianna Reggio. 246-265
- A Two-Category Approach to Critical Pair CompletionHorst Reichel. 266-273
- A Kernel Specification Formalism with Higher-Order ParameterizationDonald Sannella, Andrzej Tarlecki. 274-296
- Extended ML: Past, Present, and FutureDonald Sannella, Andrzej Tarlecki. 297-322
- Dependent Types Considered Necessary for Specification LanguagesThomas Streicher, Martin Wirsing. 323-340
- Generic Types in a Language for Data Directed DesignEric G. Wagner. 341-361
- Design of a Compiler for Lazy Pattern Driven NarrowingDietmar Wolz. 362-379