The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Wu Yunzeng
    On Formalization and Its Related Notions. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  2. Horst Reichel
    Computable Functional Enrichments of Parameterized Behavioural Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  3. Axel Poigné
    Error Handling as Type Checking. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  4. Udo Pletat
    Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  5. Rolf Hennicker
    An Implementation Concept for Observational Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  6. Peter Padawitz
    The Use of Terminal Semantics for Disproving Inductive Theorems. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  7. Fernando Orejas
    A Proof-Theoretic Characterization of Persistency for Parameterized Specifications with Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  8. Horst Hansen
    From Algebraic Specifications towards Algebraic Programs. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  9. Martin Gogolla
    Exception Handling and Subsorts. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  10. Tobias Nipkow
    Behavioural Implementations of Non-Deterministic Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  11. Colin Runciman
    Deriving Functional Programs from Equational Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  12. M. R. Sadler
    A Defense of Proof Theory as the Right Foundations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  13. Peter White
    Position Paper on Requirement Specification Language Project. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  14. Muffy Thomas
    The Storage and Access Structure of Algebraically Specified Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  15. Andrzej Tarlecki
    Bits and Pieces of the Theory of Institutions. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  16. Hansi A. Spec
    HANSI Evaluates Algebraic Specifications - You will love it. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  17. Gert Smolka
    Polymorphic Order-Sorted Algebra. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  18. Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  19. Giuseppe Scollo
    On Hierarchy, Incompleteness and Exception Handling in Equational Specifications of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  20. Heinz W. Schmidt
    Polymorphic Types and Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  21. Donald Sannella, Andrzej Tarlecki
    Extended ML: An Institution-Independent Framework for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  22. Harald Ganzinger
    Knuth-Bendix Completion for Parametric Specifications with Conditional Equations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  23. Friederike Nickl
    On the Solution of Recursive Domain Equations Inside an Algebraic Framework. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  24. Peter D. Mosses
    Action Semantics. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  25. Christine Choppy
    Complexity of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  26. Peter Brueck
    ADT as a Design Concept for CHILL. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  27. Pere Botella
    Abstract Data Types, Program Schema, and Programming Environments. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  28. Paul Boehm
    The ACT System - A Software Environment for ACT ONE Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  29. Michel Bidoit
    The PLUSS Specification Language. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  30. Hans-Jörg Kreowski
    Based Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  31. Gilles Bernot
    Correctness Proofs for Abstract Implementations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  32. Gilles Bernot
    Abstract Implementation with Exception Handling. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  33. Klaus P. Jantke
    Recursion-Theoretic Problems in Abstract Data Type Theory. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  34. Udo W. Lipeck
    On the Semantics of the Frame Rule. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  35. Jacques Loeckx
    The Specification Language OBSCURE. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  36. Werner Fey
    The Module Specification Language ACT TWO. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  37. Bernhard Möller
    Algebraic Specifications with Higher-Order Operations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  38. Hartmut Ehrig
    Towards an Algebraic Semantics of the ISO Specification Language LOTOS. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  39. Giancarlo Mauri
    OBJ-SAN: Towards the Definition of a Class of High-Level Nets using OBJ2. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  40. Vincenzo Manca
    Specification of Abstract Data Types with Experiments. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  41. Hans-Dieter Ehrich
    Towards an Algebraic Semantics for Databases. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  42. T. S. E. Maibaum
    Modular Construction of Logics for Specification. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  43. Bernd Mahr
    Term Evaluation in Partial Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  44. Klaus Drosten
    Term Rewriting Systems with Restricted Variables. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  45. Christoph Beierle
    Vertical and Horizontal Compositions of Implementation Specifications. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [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