Stop the war!

Остановите войну!

for scientists:

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

a service of

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.