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
  14. Francesco Parisi-Presicce, Alfonso Pierantonio
    Pages 406-419
  15. Amílcar Sernadas, Cristina Sernadas, José Manuel Valença
    Pages 420-436
  16. Judith Underwood
    Pages 437-452
  17. Uwe Wolter
    Pages 469-482
  18. Martin Gogolla, Maura Cerioli
    Pages 499-523
  19. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59132-0
  • Online ISBN 978-3-540-49198-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site