4. ADT 1986

• Hartmut Ehrig: Towards an Algebraic Semantics of the ISO Specification Language LOTOS. BibTeX
• Andrzej Tarlecki: Bits and Pieces of the Theory of Institutions. BibTeX
• Axel Poigné: Error Handling as Type Checking. BibTeX
• Heinz W. Schmidt: Polymorphic Types and Algebraic Specifications. BibTeX
• Gert Smolka: Polymorphic Order-Sorted Algebra. BibTeX
• Martin Gogolla: Exception Handling and Subsorts. BibTeX
• Paul Boehm: The ACT System - A Software Environment for ACT ONE Specifications. BibTeX
• Muffy Thomas: The Storage and Access Structure of Algebraically Specified Data Types. BibTeX
• Friederike Nickl: On the Solution of Recursive Domain Equations Inside an Algebraic Framework. BibTeX
• Bernhard Möller: Algebraic Specifications with Higher-Order Operations. BibTeX
• Hans-Dieter Ehrich: Towards an Algebraic Semantics for Databases. BibTeX
• T. S. E. Maibaum: Modular Construction of Logics for Specification. BibTeX
• Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro: Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. BibTeX
• Udo W. Lipeck: On the Semantics of the Frame Rule. BibTeX
• M. R. Sadler: A Defense of Proof Theory as the Right Foundations. BibTeX
• Gilles Bernot: Abstract Implementation with Exception Handling. BibTeX
• Vincenzo Manca: Specification of Abstract Data Types with Experiments. BibTeX
• Giuseppe Scollo: On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. BibTeX
• Harald Ganzinger: Knuth-Bendix Completion for Parametric Specifications with Conditional Equations. BibTeX
• Peter D. Mosses: Action Semantics. BibTeX
• Pere Botella: Abstract Data Types, Program Schema, and Programming Environments. BibTeX
• Horst Hansen: From Algebraic Specifications towards Algebraic Programs. BibTeX
• Giancarlo Mauri: OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. BibTeX
• Christine Choppy: Complexity of Abstract Data Types. BibTeX
• Klaus P. Jantke: Recursion-Theoretic Problems in Abstract Data Type Theory. BibTeX
• Peter Padawitz: The Use of Terminal Semantics for Disproving Inductive Theorems. BibTeX
• Horst Reichel: Computable Functional Enrichments of Parameterized Behavioural Data Types. BibTeX
• Bernd Mahr: Term Evaluation in Partial Algebras. BibTeX
• Klaus Drosten: Term Rewriting Systems with Restricted Variables. BibTeX
• Hansi A. Spec: HANSI Evaluates Algebraic Specifications - You will love it. BibTeX
• Colin Runciman: Deriving Functional Programs from Equational Specifications. BibTeX
• Peter Brueck: ADT as a Design Concept for CHILL. BibTeX
• Michel Bidoit: The PLUSS Specification Language. BibTeX
• Werner Fey: The Module Specification Language ACT TWO. BibTeX
• Fernando Orejas: A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. BibTeX
• Peter White: Position Paper on Requirement Specification Language Project. BibTeX
• Donald Sannella, Andrzej Tarlecki: Extended ML: An Institution-Independent Framework for Formal Program Development. BibTeX
• Hans-Jörg Kreowski: Based Algebras. BibTeX
• Jacques Loeckx: The Specification Language OBSCURE. BibTeX
• Tobias Nipkow: Behavioural Implementations of Non-Deterministic Data Types. BibTeX
• Udo Pletat: Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. BibTeX
• Wu Yunzeng: On Formalization and Its Related Notions. BibTeX
• Christoph Beierle: Vertical and Horizontal Compositions of Implementation Specifications. BibTeX
• Rolf Hennicker: An Implementation Concept for Observational Specifications. BibTeX
• Gilles Bernot: Correctness Proofs for Abstract Implementations. BibTeX