Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) / (adt)
1990 (conf/adt/1990)

1. Guntis Barzdins
   ADT Implementation and Completion by Induction from Examples. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:1-10 [Conf]
   
2. Mohamed Bettaz
   An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:11-30 [Conf]
   
3. Silvia Clerici, Fernando Orejas
   The Specification Language GSBL. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:31-51 [Conf]
   
4. Christian Dimitrovici, Ulrich Hummert
   Composition of Algebraic High-Level Nets. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:52-73 [Conf]
   
5. Hartmut Ehrig, Francesco Parisi-Presicce
   A Match Operation for Rule-Based Modular System Design. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:74-97 [Conf]
   
6. Martin Große-Rhode
   Towards Object-Oriented Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:98-116 [Conf]
   
7. Steffen Lange, Klaus P. Jantke
   Inductive Completion for Transformation of Equational Specifications. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:117-140 [Conf]
   
8. Thomas Lehmann
   A Notion of Implementation for the Specification Language OBSCURE. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:141-165 [Conf]
   
9. Gianfranco Mascari, Antonio Vincenzi
   Model-Theoretic Specifications and Back-and-Forth Equivalences. [Citation Graph (0, 0)][DBLP]
   ADT, 1990, pp:166-184 [Conf]
   
10. Karl Meinke
    Universal Algebra in Higher Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:185-203 [Conf]
    
11. Robert Nieuwenhuis, Fernando Orejas
    Clausal Rewriting: Applications and Implementation. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:204-219 [Conf]
    
12. Fernando Orejas, Pilar Nivela
    Constraints for Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:220-245 [Conf]
    
13. Gianna Reggio
    Entities: An Institution for Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:246-265 [Conf]
    
14. Horst Reichel
    A Two-Category Approach to Critical Pair Completion. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:266-273 [Conf]
    
15. Donald Sannella, Andrzej Tarlecki
    A Kernel Specification Formalism with Higher-Order Parameterization. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:274-296 [Conf]
    
16. Donald Sannella, Andrzej Tarlecki
    Extended ML: Past, Present, and Future. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:297-322 [Conf]
    
17. Thomas Streicher, Martin Wirsing
    Dependent Types Considered Necessary for Specification Languages. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:323-340 [Conf]
    
18. Eric G. Wagner
    Generic Types in a Language for Data Directed Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:341-361 [Conf]
    
19. Dietmar Wolz
    Design of a Compiler for Lazy Pattern Driven Narrowing. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:362-379 [Conf]