default search action

combined dblp search
author search
venue search
publication search

ask others

7. ADT 1990: Wusterhausen, Dosse, 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/1990
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/1990
Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel:
Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990. Lecture Notes in Computer Science 534, Springer 1991, ISBN 3-540-54496-8
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Barzdins90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Barzdins90
Guntis Barzdins:
ADT Implementation and Completion by Induction from Examples. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Bettaz90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Bettaz90
Mohamed Bettaz:
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. 11-30
- view
  authority control:
- export record
  dblp key:
  - conf/adt/ClericiO90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/ClericiO90
Silvia Clerici, Fernando Orejas:
The Specification Language GSBL. 31-51
- view
  authority control:
- export record
  dblp key:
  - conf/adt/DimitroviciH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/DimitroviciH90
Christian Dimitrovici, Ulrich Hummert:
Composition of Algebraic High-Level Nets. 52-73
- view
  authority control:
- export record
  dblp key:
  - conf/adt/EhrigP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/EhrigP90
Hartmut Ehrig, Francesco Parisi-Presicce:
A Match Operation for Rule-Based Modular System Design. 74-97
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Grosse-Rhode90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Grosse-Rhode90
Martin Große-Rhode:
Towards Object-Oriented Algebraic Specifications. 98-116
- view
  authority control:
- export record
  dblp key:
  - conf/adt/LangeJ90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/LangeJ90
Steffen Lange, Klaus P. Jantke:
Inductive Completion for Transformation of Equational Specifications. 117-140
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Lehmann90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Lehmann90
Thomas Lehmann:
A Notion of Implementation for the Specification Language OBSCURE. 141-165
- view
  authority control:
- export record
  dblp key:
  - conf/adt/MascariV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/MascariV90
Gianfranco Mascari, Antonio Vincenzi:
Model-Theoretic Specifications and Back-and-Forth Equivalences. 166-184
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Meinke90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Meinke90
Karl Meinke:
Universal Algebra in Higher Types. 185-203
- view
  authority control:
- export record
  dblp key:
  - conf/adt/NieuwenhuisO90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/NieuwenhuisO90
Robert Nieuwenhuis, Fernando Orejas:
Clausal Rewriting: Applications and Implementation. 204-219
- view
  authority control:
- export record
  dblp key:
  - conf/adt/OrejasN90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/OrejasN90
Fernando Orejas, Pilar Nivela:
Constraints for Behavioural Specifications. 220-245
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Reggio90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Reggio90
Gianna Reggio:
Entities: An Institution for Dynamic Systems. 246-265
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Reichel90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Reichel90
Horst Reichel:
A Two-Category Approach to Critical Pair Completion. 266-273
- view
  authority control:
- export record
  dblp key:
  - conf/adt/SannellaT90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/SannellaT90
Donald Sannella, Andrzej Tarlecki:
A Kernel Specification Formalism with Higher-Order Parameterization. 274-296
- view
  authority control:
- export record
  dblp key:
  - conf/adt/SannellaT90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/SannellaT90a
Donald Sannella, Andrzej Tarlecki:
Extended ML: Past, Present, and Future. 297-322
- view
  authority control:
- export record
  dblp key:
  - conf/adt/StreicherW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/StreicherW90
Thomas Streicher, Martin Wirsing:
Dependent Types Considered Necessary for Specification Languages. 323-340
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Wagner90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Wagner90
Eric G. Wagner:
Generic Types in a Language for Data Directed Design. 341-361
- view
  authority control:
- export record
  dblp key:
  - conf/adt/Wolz90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/Wolz90
Dietmar Wolz:
Design of a Compiler for Lazy Pattern Driven Narrowing. 362-379

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.