© 1995

Recent Trends in Data Type Specification

10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 – June 3, 1994 Selected Papers

  • Editors
  • Egidio Astesiano
  • Gianna Reggio
  • Andrzej Tarlecki
Conference proceedings ADT 1994, COMPASS 1994

Part of the Lecture Notes in Computer Science book series (LNCS, volume 906)

Table of contents

  1. Front Matter
  2. Catriel Beeri
    Pages 30-47
  3. José Meseguer, Narciso Marti-Oliet
    Pages 48-80
  4. David Aspinall
    Pages 116-131
  5. Michel Bidoit, Rolf Hennicker
    Pages 153-169
  6. M. Cerioli
    Pages 188-202
  7. Hans-Dieter Ehrich, Amilcar Sernadas
    Pages 219-235
  8. Hartmut Ehrig, Michael Löwe, Fernando Orejas
    Pages 236-254
  9. Maribel Fernández, Jean-Pierre Jouannaud
    Pages 255-272
  10. J. L. Fiadeiro, J. F. Costa
    Pages 273-289
  11. Ulrich Hensel, Horst Reichel
    Pages 307-318
  12. Claus Hintermeier, Claude Kirchner, Hélène Kirchner
    Pages 319-335
  13. Ulrike Lechner, Christian Lengauer, Martin Wirsing
    Pages 351-367

About these proceedings


This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994.
The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.


Abstract Data Types Algebraic Techniques Algebraische Methoden Astrakte Datentypen Concurrent Systems Formal Specification Formale Spezifikation Nebenläufige Systeme data structure inheritance logic programming programming language semantics theorem proving

Bibliographic information

Industry Sectors
IT & Software
Finance, Business & Banking