7. ADT 1990: Wusterhausen, Dosse, Germany

@proceedings{DBLP:conf/adt/1990,
  editor    = {Hartmut Ehrig and
               Klaus P. Jantke and
               Fernando Orejas and
               Horst Reichel},
  title     = {Recent Trends in Data Type Specification, Proceedings 7th Workshop
               on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20,
               1990},
  booktitle = {ADT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {534},
  year      = {1991},
  isbn      = {3-540-54496-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Guntis Barzdins: ADT Implementation and Completion by Induction from Examples. 1-10 BibTeX
• Mohamed Bettaz: An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. 11-30 BibTeX
• Silvia Clerici, Fernando Orejas: The Specification Language GSBL. 31-51 BibTeX
• Christian Dimitrovici, Ulrich Hummert: Composition of Algebraic High-Level Nets. 52-73 BibTeX
• Hartmut Ehrig, Francesco Parisi-Presicce: A Match Operation for Rule-Based Modular System Design. 74-97 BibTeX
• Martin Große-Rhode: Towards Object-Oriented Algebraic Specifications. 98-116 BibTeX
• Steffen Lange, Klaus P. Jantke: Inductive Completion for Transformation of Equational Specifications. 117-140 BibTeX
• Thomas Lehmann: A Notion of Implementation for the Specification Language OBSCURE. 141-165 BibTeX
• Gianfranco Mascari, Antonio Vincenzi: Model-Theoretic Specifications and Back-and-Forth Equivalences. 166-184 BibTeX
• Karl Meinke: Universal Algebra in Higher Types. 185-203 BibTeX
• Robert Nieuwenhuis, Fernando Orejas: Clausal Rewriting: Applications and Implementation. 204-219 BibTeX
• Fernando Orejas, Pilar Nivela: Constraints for Behavioural Specifications. 220-245 BibTeX
• Gianna Reggio: Entities: An Institution for Dynamic Systems. 246-265 BibTeX
• Horst Reichel: A Two-Category Approach to Critical Pair Completion. 266-273 BibTeX
• Donald Sannella, Andrzej Tarlecki: A Kernel Specification Formalism with Higher-Order Parameterization. 274-296 BibTeX
• Donald Sannella, Andrzej Tarlecki: Extended ML: Past, Present, and Future. 297-322 BibTeX
• Thomas Streicher, Martin Wirsing: Dependent Types Considered Necessary for Specification Languages. 323-340 BibTeX
• Eric G. Wagner: Generic Types in a Language for Data Directed Design. 341-361 BibTeX
• Dietmar Wolz: Design of a Compiler for Lazy Pattern Driven Narrowing. 362-379 BibTeX