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