4. COMPASS Workshop / 9. ADT 1992: Caldes de Malavella, Spain

@proceedings{DBLP:conf/compass/1992,
  editor    = {Hartmut Ehrig},
  title     = {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},
  booktitle = {COMPASS/ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {785},
  year      = {1994},
  isbn      = {3-540-57867-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Joseph A. Goguen, Razvan Diaconescu: Towards an Algebraic Semantics for the Object Paradigm. 1-29 BibTeX
• Jean-Pierre Jouannaud: Rewriting Techniques for Software Engineering. 30-52 BibTeX
• Axel Poigné: Identity and Existence, and Types in Algebra - A Survey of Sorts. 53-78 BibTeX
• Eric G. Wagner: Overloading and Inheritance. 79-97 BibTeX
• Mohamed Bettaz, Gianna Reggio: A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. 98-112 BibTeX
• Maura Cerioli, Gianna Reggio: Institutions for Very Abstract Specifications. 113-127 BibTeX
• Christine Choppy: About the Correctness and Adequacy of PLUSS Specifications. 128-143 BibTeX
• Silvia Clerici, Rosa M. Jiménez, Fernando Orejas: Semantic Constructions in the Specification Language GLIDER. 144-157 BibTeX
• Stefan Conrad: On Certification of Specifications for TROLL light Objects. 158-172 BibTeX
• Grit Denker, Martin Gogolla: Translating TROLL light Concepts to Maude. 173-187 BibTeX
• Hartmut Ehrig, Julia Padberg, Leila Ribeiro: Algebraic High-Level Nets: Petri Nets Revisited. 188-206 BibTeX
• Martin Große-Rhode, Uwe Wolter: Two-Categorical Specification of Partial Algebras. 207-219 BibTeX
• Rolf Hennicker, Friederike Nickl: A Behavioural Algebraic Framework for Modular System Design with Reuse. 220-234 BibTeX
• Claudio Hermida: On Fibred Adjunctions and Completeness for Fibred Categories. 235-251 BibTeX
• Jordi Levy, Jaume Agustí-Cullell: Implementing Inequality and Non-Deterministic Specifications with Bi-Rewriting Systems. 252-267 BibTeX
• Junbo Liu: A Semantic Basis of Logic-Independent Transformation. 268-279 BibTeX
• Peter D. Mosses: Unified Algebras and Abstract Syntax. 280-294 BibTeX
• Francesco Parisi-Presicce, Alfonso Pierantonio: Structured Inheritance for Algebraic Class Specifications. 295-309 BibTeX
• Catharina Rieckhoff: Towards a Theory for the Animation of Algebraic Specification. 310-320 BibTeX
• Pierre-Yves Schobbens: Second-Order Proof Systems for Algebraic Specification Languages. 321-336 BibTeX
• Amílcar Sernadas, José Félix Costa, Cristina Sernadas: An Institution of Object Behaviour. 337-351 BibTeX