ask others

5. ADT 1987: Gullane, Scotland

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ADT

- view
- export record
  dblp key:
  - conf/adt/1987
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/1987
Donald Sannella, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers. Lecture Notes in Computer Science 332, Springer 1987
- view
- export record
  dblp key:
  - conf/adt/Bidoit87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Bidoit87
Michel Bidoit:
The Stratified Loose Approach: A Generalization of Initial and Loose Semantics. 1-22
- view
- export record
  dblp key:
  - conf/adt/EhrigPBRDG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigPBRDG87
Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode:
Algebraic Data Type and Process Specifications based on Projection Spaces. 23-43
- view
- export record
  dblp key:
  - conf/adt/FiadeiroS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/FiadeiroS87
José Luiz Fiadeiro, Amílcar Sernadas:
Structuring Theories on Consequence. 44-72
- view
- export record
  dblp key:
  - conf/adt/Ganzinger87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Ganzinger87
Harald Ganzinger:
Completion with History-Dependent Complexities for Generated Equations. 73-91
- view
- export record
  dblp key:
  - conf/adt/HabelKP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/HabelKP87
Annegret Habel, Hans-Jörg Kreowski, Detlef Plump:
Jungle Evaluation. 92-112
- view
- export record
  dblp key:
  - conf/adt/Hansen87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Hansen87
Horst Hansen:
The ACT System: Experiences and Future Enhancements. 113-130
- view
- export record
  dblp key:
  - conf/adt/LehmannL87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/LehmannL87
Thomas Lehmann, Jacques Loeckx:
The Specification Language of OBSCURE. 131-153
- view
- export record
  dblp key:
  - conf/adt/MollerTW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MollerTW87
Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. 154-169
- view
- export record
  dblp key:
  - conf/adt/Nipkow87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Nipkow87
Tobias Nipkow:
Observing Non-Deterministic Data Types. 170-183
- view
- export record
  dblp key:
  - conf/adt/NivelaO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/NivelaO87
Pilar Nivela, Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications. 184-207
- view
- export record
  dblp key:
  - conf/adt/Poigne87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Poigne87
Axel Poigné:
Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications. 208-234
- view
- export record
  dblp key:
  - conf/adt/Reichel87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Reichel87
Horst Reichel:
Operational Semantics of Behavioural Canons based on Narrowing. 235-248
- view
- export record
  dblp key:
  - conf/adt/Vrancken87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Vrancken87
Jos L. M. Vrancken:
The Algebraic Specification of Semi-Computable Data Types. 249-259

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.