Conferences in DBLP

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

1. Hartmut Ehrig, Magdalena Gajewsky, Uwe Wolter
   From abstract data types to algebraic development techniques: A shift of paradigms. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:1-17 [Conf]
   
2. José Meseguer
   Membership algebra as a logical framework for equational specification. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:18-61 [Conf]
   
3. José Meseguer, Ugo Montanari
   Mapping tile logic into rewriting logic. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:62-91 [Conf]
   
4. Davide Ancona, Elena Zucca
   An algebra of mixin modules. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:92-106 [Conf]
   
5. T. Borzyskowski
   Correctness of a logical system for structured specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:107-121 [Conf]
   
6. Roberto Bruni, Ugo Montanari
   Zero-safe nets: The individual token approach. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:122-140 [Conf]
   
7. Maura Cerioli, Elena Zucca
   Implementation of derived programs (almost) for free. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:141-155 [Conf]
   
8. Sophie Cherki, Christine Choppy
   A method for FORTRAN programs reverse engineering using algebraic specifications. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:156-173 [Conf]
   
9. Corina Cîrstea
   Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. [Citation Graph (0, 0)][DBLP]
   WADT, 1997, pp:174-189 [Conf]
   
10. Andrea Corradini
    A Completeness result for equational deduction in coalgebraic specification. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:190-205 [Conf]
    
11. F. M. Dionisio, Udo W. Lipeck
    Specifying with defaults: Compositional semantics. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:206-222 [Conf]
    
12. Fabio Gadducci, Reiko Heckel
    An inductive view of graph transformation. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:223-237 [Conf]
    
13. Martin Gogolla, Mark Richters
    On combining semiformal and formal object specification techniques. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:238-252 [Conf]
    
14. Bernhard Gramlich
    Modular aspects of rewrite-based specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:253-268 [Conf]
    
15. Martin Große-Rhode
    From algebra transformation to labelled transition systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:269-284 [Conf]
    
16. Slawomir Lasota
    Open maps as a bridge between algebraic observational equivalence and bisimilarity. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:285-299 [Conf]
    
17. Alfio Martini, Uwe Wolter
    A systematic study of mappings between institutions. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:300-315 [Conf]
    
18. Till Mossakowski
    Colimits of order-sorted specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:316-332 [Conf]
    
19. Till Mossakowski, Kolyang, Bernd Krieg-Brückner
    Static semantic analysis and theorem proving for CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:333-348 [Conf]
    
20. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    Combining and representing logical systems using model-theoretic parchments. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:349-364 [Conf]
    
21. Peter Padawitz
    Towards the one-tiered design of data types and transition systems. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:365-380 [Conf]
    
22. Wieslaw Pawlowski
    Context parchments. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:381-401 [Conf]
    
23. Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing
    Verifying a compiler optimization for Multi-Threaded Java. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:402-417 [Conf]
    
24. Michal Walicki, Marcin Bialasik
    Categories of relational structures. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:418-434 [Conf]