4. COMPASS Workshop / 9. ADT 1992:
Caldes de Malavella, Spain
Hartmut Ehrig (Ed.):
Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers.
Lecture Notes in Computer Science 785 Springer 1994, ISBN 3-540-57867-6 
- Joseph A. Goguen, Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm.
1-29
- Jean-Pierre Jouannaud:
Rewriting Techniques for Software Engineering.
30-52
- Axel Poigné:
Identity and Existence, and Types in Algebra - A Survey of Sorts.
53-78
- Eric G. Wagner:
Overloading and Inheritance.
79-97
- Mohamed Bettaz, Gianna Reggio:
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.
98-112
- Maura Cerioli, Gianna Reggio:
Institutions for Very Abstract Specifications.
113-127
- Christine Choppy:
About the Correctness and Adequacy of PLUSS Specifications.
128-143
- Silvia Clerici, Rosa M. Jiménez, Fernando Orejas:
Semantic Constructions in the Specification Language GLIDER.
144-157
- Stefan Conrad:
On Certification of Specifications for TROLL light Objects.
158-172
- Grit Denker, Martin Gogolla:
Translating TROLL light Concepts to Maude.
173-187
- Hartmut Ehrig, Julia Padberg, Leila Ribeiro:
Algebraic High-Level Nets: Petri Nets Revisited.
188-206
- Martin Große-Rhode, Uwe Wolter:
Two-Categorical Specification of Partial Algebras.
207-219
- Rolf Hennicker, Friederike Nickl:
A Behavioural Algebraic Framework for Modular System Design with Reuse.
220-234
- Claudio Hermida:
On Fibred Adjunctions and Completeness for Fibred Categories.
235-251
- Jordi Levy, Jaume Agustí-Cullell:
Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems.
252-267
- Junbo Liu:
A Semantic Basis of Logic-Independent Transformation.
268-279
- Peter D. Mosses:
Unified Algebras and Abstract Syntax.
280-294
- Francesco Parisi-Presicce, Alfonso Pierantonio:
Structured Inheritance for Algebraic Class Specifications.
295-309
- Catharina Rieckhoff:
Towards a Theory for the Animation of Algebraic Specification.
310-320
- Pierre-Yves Schobbens:
Second-Order Proof Systems for Algebraic Specification Languages.
321-336
- Amílcar Sernadas, José Félix Costa, Cristina Sernadas:
An Institution of Object Behaviour.
337-351
Acknowledgement:
The information on this page was contributed by Martin Gogolla
Last update Sat May 18 18:17:54 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
