6. ADT 1988

• Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe: Algebraic Theory of Modular Specification Development. BibTeX
• Pilar Nivela, Fernando Orejas: A Module Concept within the Initial Behaviour Framework. BibTeX
• Magne Haveraaen: The PAL Module Concept. BibTeX
• John W. Gray: Executable Specifications for Data Type Constructors. BibTeX
• Klaus P. Jantke: On Solving Divergence in Knuth-Bendix Completion. BibTeX
• Muffy Thomas: Towards a Termination Ordering for Loop Programs. BibTeX
• Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena: Term Rewriting Methods for Partial Specifications. BibTeX
• Heinrich Hußmann: Prototyping Non-Deterministic Algebraic Specifications using the RAP System. BibTeX
• Jos L. M. Vrancken: Parallel Object-Oriented Term Rewriting. BibTeX
• Hans-Jörg Kreowski: Complexity in Algebraic Specifications: An Upper Bound Result. BibTeX
• Giuseppe Scollo: Typed-Equational Types: Pragmatics. BibTeX
• Jordi Farrés-Casals: Proving Constructor Implementations in Two Steps. BibTeX
• Peter Pepper: An Algebraic View of Local Formalisms. BibTeX
• Donald Sannella, Andrzej Tarlecki: Formal Development of ML Programs: Methodological Aspects. BibTeX
• T. S. E. Maibaum: Configuration versus Use: Specification Languages versus Logics. BibTeX
• Peter Padawitz: Inductive Expansion. BibTeX
• Dieter Hofbauer, Ralf-Detlef Kutsche: Proving Inductive Theorems in Equational Theories. BibTeX
• Gert Smolka: Type Logic. BibTeX
• Zhenyu Qian: Parameterization of Order-Sorted Algebraic Specifications with Built-In Coercers. BibTeX
• Jacques Loeckx, Annette Hoffmann: Verification in OBSCURE. BibTeX
• Kieran Clenaghan: Abstract Architecture of an Interactive Programming System. BibTeX
• Egidio Astesiano, Maura Cerioli: Models and Logical Deduction in Partial Higher-Order Conditional Specifications. BibTeX
• Anne Elisabeth Haxthausen: Mutually Recursive Algebraic Domain Equations. BibTeX
• Friederike Nickl: Order-Theoretic Specification of Algebras with Non-Monotonic Operations. BibTeX
• Peter D. Mosses: Unified Algebras. BibTeX
• Axel Poigné: Towards a Unified Logic for Specification and Programming. BibTeX
• Michael Hanus: Horn Clause Specifications with Polymorphic Types. BibTeX
• Michel Bidoit: Recent Development of the PLUSS Specification Language. BibTeX
• Ingo Claßen: A Revised Version of ACT ONE. BibTeX
• Dietmar Wolz: Compilation of Algebraic Specifications and Term Rewriting Systems. BibTeX
• Mohamed Bettaz: Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. BibTeX
• Silvia Clerici, Fernando Orejas, Pere Botella: The Specification Language for the GESTALT Environment. BibTeX
• Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas: Objects and Object Types. BibTeX
• Eric G. Wagner, E. J. Selker, J. D. Rutledge: Algebraic Data Types and Object-Oriented Programming. BibTeX
• Dean Jacobs, Bernd Mahr: Concepts of Algebraic Database Programming Languages. BibTeX
• Christian Dimitrovici: Projection Spaces. BibTeX
• Harald-Reto Fonio: Abelian Monoids versus Concurrency - An Algebraic Approach to the Specification of Distributed Systems. BibTeX
• Gloria Quintanilla: Prototyping of Z Specifications in ML. BibTeX
• B. C. Thompson-Quintanilla: Generalized Computable Algebra and Its Application to the Implementation of Abstract Data Types. BibTeX
• Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Data in a Concurrent Environment. BibTeX