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
  
• 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
  

Last update Tue Feb 14 03:51:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page