Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) (wadt)
2001 (conf/wadt/2001)

1. Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni
   Interactive Rule-Based Specification with an Application to Visual Language Definition. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:1-20 [Conf]
   
2. Michel Bidoit, Alexandre Boisseau
   Algebraic Abstractions. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:21-47 [Conf]
   
3. Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
   Combining Logics: Parchments Revisited. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:48-70 [Conf]
   
4. José Félix Costa, Hugo Lourenço
   Canonical Institutions of Behaviour. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:71-84 [Conf]
   
5. Walter Dosch, Sönke Magnussen
   The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:85-108 [Conf]
   
6. Magdalena Gajewsky, Francesco Parisi-Presicce
   On the Compatibility of Model and Model-Class Transformations. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:109-127 [Conf]
   
7. Neal A. Harman
   Verifying a Simple Pipelined Microprocessor Using Maude. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:128-151 [Conf]
   
8. Piotr Hoffman
   Verifying Architectural Specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:152-175 [Conf]
   
9. Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand
   Geometric Modelling with CASL. [Citation Graph (0, 0)][DBLP]
   WADT, 2001, pp:176-200 [Conf]
   
10. Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro
    A Compositional Approach to Connector Construction. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:201-220 [Conf]
    
11. Till Mossakowski, Bartek Klin
    Institution Independent Static Analysis for CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:221-237 [Conf]
    
12. Fernando Orejas, Hartmut Ehrig, Elvira Pino
    Tight and Loose Semantics for Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:238-255 [Conf]
    
13. Wieslaw Pawlowski
    Presentations for Abstract Context Institutions. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:256-279 [Conf]
    
14. Iman Poernomo, John N. Crossley, Martin Wirsing
    Programs, Proofs and Parametrized Specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:280-304 [Conf]
    
15. Markus Roggenbach, Lutz Schröder
    Towards Trustworthy Specifications I: Consistency Checks. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:305-327 [Conf]
    
16. Donald Sannella
    The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:328-344 [Conf]