default search action

combined dblp search
author search
venue search
publication search

ask others

3. ADT 1984: Bremen, Germany

> Home > Conferences and Workshops > ADT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adt/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/1984
Hans-Jörg Kreowski:
Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers. Informatik-Fachberichte 116, Springer 1985, ISBN 3-540-16077-9

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/adt/Wagner84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Wagner84
Eric G. Wagner:
Categorical Semantics, Or Extending Data Types to Include Memory. 1-21

Invited Notes

- view
  authority control:
- export record
  dblp key:
  - conf/adt/Ehrich84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Ehrich84
Hans-Dieter Ehrich:
Algebraic (?) Specification of Conceptual Database Schemata. 22-27
- view
  authority control:
- export record
  dblp key:
  - conf/adt/LermenL84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/LermenL84
Claus-Werner Lermen, Jacques Loeckx:
OBSCURE, A New Specification Language. 28-30
- view
  authority control:
- export record
  dblp key:
  - conf/adt/SannellaT84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/SannellaT84
Donald Sannella, Andrzej Tarlecki:
Some Thoughts on Algebraic Specification. 31-38

Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/adt/BeierleV84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/BeierleV84
Christoph Beierle, Angi Voß:
Implementation Specifications. 39-53
- view
  authority control:
- export record
  dblp key:
  - conf/adt/BidoitCV84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/BidoitCV84
Michel Bidoit, Christine Choppy, Frédéric Voisin:
The ASSPEGIQUE Specification Environment - Motivations and Design. 54-72
- view
  authority control:
- export record
  dblp key:
  - conf/adt/EhrigFH84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigFH84
Hartmut Ehrig, Werner Fey, Horst Hansen:
Towards Abstract User Interfaces for Formal System Specifications. 73-88
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Gogolla84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Gogolla84
Martin Gogolla:
A Final Algebra Semantics for Errors and Exceptions. 89-103
- view
  authority control:
- export record
  dblp key:
  - conf/adt/HaslerM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/HaslerM84
Klaus-Peter Hasler, Jan de Meer:
OSI Transport Service Considered as an Abstract Data Type. 104-118
- view
  authority control:
- export record
  dblp key:
  - conf/adt/HennickerW84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/HennickerW84
Rolf Hennicker, Martin Wirsing:
Observational Specification: A Birkhoff Theorem. 119-135
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Kaplan84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Kaplan84
Stéphane Kaplan:
Fair Conditional Term Rewriting Systems: Unification, Termination, and Confluence. 136-155
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Krieg-Bruckner84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Krieg-Bruckner84
Bernd Krieg-Brückner:
Transformation of Interface Specifications. 156-170
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MaibaumS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MaibaumS84
T. S. E. Maibaum, M. R. Sadler:
Axiomatizing Specification Theory. 171-177
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MollerD84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MollerD84
Bernhard Möller, Walter Dosch:
On the Algebraic Specification of Domains. 178-195
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Orejas84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Orejas84
Fernando Orejas:
Passing Compatibility is almost Persistency. 196-206
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Petzsch84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Petzsch84
Heiko Petzsch:
Automatic Prototyping of Algebraic Specifications using PROLOG. 207-223
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Poigne84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Poigne84
Axel Poigné:
Error Handling for Parameterized Data Types. 224-239
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Streicher84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Streicher84
Thomas Streicher:
Model Theory of Denotational Semantics. 240-253

Acknowledgement: The information on this page was contributed by Martin Gogolla

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.