Conferences in DBLP

COMPASS Workshops (compass)
1992 (conf/compass/1992)

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