The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Eric G. Wagner
    Categorical Semantics, Or Extending Data Types to Include Memory. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:1-21 [Conf]
  2. Hans-Dieter Ehrich
    Algebraic (?) Specification of Conceptual Database Schemata. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:22-27 [Conf]
  3. Claus-Werner Lermen, Jacques Loeckx
    OBSCURE, A New Specification Language. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:28-30 [Conf]
  4. Donald Sannella, Andrzej Tarlecki
    Some Thoughts on Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:31-38 [Conf]
  5. Christoph Beierle, Angi Voß
    Implementation Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:39-53 [Conf]
  6. Michel Bidoit, Christine Choppy, Frédéric Voisin
    The ASSPEGIQUE Specification Environment - Motivations and Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:54-72 [Conf]
  7. Hartmut Ehrig, Werner Fey, Horst Hansen
    Towards Abstract User Interfaces for Formal System Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:73-88 [Conf]
  8. Martin Gogolla
    A Final Algebra Semantics for Errors and Exceptions. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:89-103 [Conf]
  9. Klaus-Peter Hasler, Jan de Meer
    OSI Transport Service Considered as an Abstract Data Type. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:104-118 [Conf]
  10. Rolf Hennicker, Martin Wirsing
    Observational Specification: A Birkhoff Theorem. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:119-135 [Conf]
  11. Stéphane Kaplan
    Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:136-155 [Conf]
  12. Bernd Krieg-Brückner
    Transformation of Interface Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:156-170 [Conf]
  13. T. S. E. Maibaum, M. R. Sadler
    Axiomatizing Specification Theory. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:171-177 [Conf]
  14. Bernhard Möller, Walter Dosch
    On the Algebraic Specification of Domains. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:178-195 [Conf]
  15. Fernando Orejas
    Passing Compatibility is almost Persistency. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:196-206 [Conf]
  16. Heiko Petzsch
    Automatic Prototyping of Algebraic Specifications using PROLOG. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:207-223 [Conf]
  17. Axel Poigné
    Error Handling for Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:224-239 [Conf]
  18. Thomas Streicher
    Model Theory of Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:240-253 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002