Abstract is missing.
- Configuration versus Use: Specification Languages versus LogicsT. S. E. Maibaum.
- Algebraic Data Types and Object-Oriented ProgrammingEric G. Wagner, E. J. Selker, J. D. Rutledge.
- Compilation of Algebraic Specifications and Term Rewriting SystemsDietmar Wolz.
- An Algebraic View of Local FormalismsPeter Pepper.
- Type LogicGert Smolka.
- Recent Development of the PLUSS Specification LanguageMichel Bidoit.
- Concepts of Algebraic Database Programming LanguagesDean Jacobs, Bernd Mahr.
- Models and Logical Deduction in Partial Higher-Order Conditional SpecificationsEgidio Astesiano, Maura Cerioli.
- Implementation of Tools for the Specification and Validation of ADTs: Application to Communication ProtocolsMohamed Bettaz.
- A Revised Version of ACT ONEIngo Claßen.
- Proving Constructor Implementations in Two StepsJordi Farrés-Casals.
- Towards a Unified Logic for Specification and ProgrammingAxel Poigné.
- Data in a Concurrent EnvironmentEgidio Astesiano, Alessandro Giovini, Gianna Reggio.
- Projection SpacesChristian Dimitrovici.
- Towards a Termination Ordering for Loop ProgramsMuffy Thomas.
- Formal Development of ML Programs: Methodological AspectsDonald Sannella, Andrzej Tarlecki.
- Complexity in Algebraic Specifications: An Upper Bound ResultHans-Jörg Kreowski.
- Algebraic Theory of Modular Specification DevelopmentWerner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe.
- Inductive ExpansionPeter Padawitz.
- Order-Theoretic Specification of Algebras with Non-Monotonic OperationsFriederike Nickl.
- Generalized Computable Algebra and Its Application to the Implementation of Abstract Data TypesB. C. Thompson-Quintanilla.
- Mutually Recursive Algebraic Domain EquationsAnne Elisabeth Haxthausen.
- Parameterization of Order-Sorted Algebraic Specifications with Built-In CoercersZhenyu Qian.
- Parallel Object-Oriented Term RewritingJos L. M. Vrancken.
- Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed SystemsHarald-Reto Fonio.
- Term Rewriting Methods for Partial SpecificationsFernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena.
- The PAL Module ConceptMagne Haveraaen.
- Prototyping Non-Deterministic Algebraic Specifications using the RAP SystemHeinrich Hußmann.
- Typed-Equational Types: PragmaticsGiuseppe Scollo.
- Objects and Object TypesHans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas.
- Verification in OBSCUREJacques Loeckx, Annette Hoffmann.
- A Module Concept within the Initial Behaviour FrameworkPilar Nivela, Fernando Orejas.
- Proving Inductive Theorems in Equational TheoriesDieter Hofbauer, Ralf-Detlef Kutsche.
- Unified AlgebrasPeter D. Mosses.
- Abstract Architecture of an Interactive Programming SystemKieran Clenaghan.
- The Specification Language for the GESTALT EnvironmentSilvia Clerici, Fernando Orejas, Pere Botella.