Recent Trends in Data Type Specification

11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

  • Editors
  • Magne Haveraaen
  • Olaf Owe
  • Ole-Johan Dahl
Conference proceedings ADT 1995, COMPASS 1995

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

Table of contents

  1. Front Matter
  2. Bernd Krieg-Brückner
    Pages 1-13
  3. H. Ehrig, M. Große-Rhode, U. Wolter
    Pages 17-48
  4. James J. Horning
    Pages 58-73
  5. Pierre Lescanne
    Pages 74-80
  6. M. Arrais, J. L. Fiadeiro
    Pages 81-101
  7. Michel Bidoit, Christine Choppy, Frédéric Voisin
    Pages 102-124
  8. Reinhard Bündgen, Werner Lauterbach
    Pages 125-142
  9. S. Clérici, R. Jiménez, F. Orejas
    Pages 143-160
  10. Ulrich Hensel, David Spooner
    Pages 237-254
  11. Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Pages 255-273
  12. J. F. Th. Kamperman, H. R. Walters
    Pages 274-290
  13. Valentinas Kriaučiukas, Michał Walicki
    Pages 306-321
  14. Bjørn Kristoffersen
    Pages 322-341
  15. Pascale Le Gall, Agnès Arnould
    Pages 342-358
  16. Nikos Mylonakis
    Pages 394-408
  17. Peter Padawitz
    Pages 409-435
  18. Wiesław Pawłowski
    Pages 436-457
  19. Zhenyu Qian, Bernd Krieg-Brückner
    Pages 458-477
  20. Andrzej Tarlecki
    Pages 478-502
  21. H. R. Walters, J. F. Th. Kamperman
    Pages 522-535
  22. Back Matter

About these proceedings


This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.


Abstract Data Types Abstrakte Datentypen Algebraic Specification Algebraische Spezifikation Formal Methods Formale Methoden Simulation Swing Term Rewriting Termersetzung design functional programming logic polymorphism programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61629-0
  • Online ISBN 978-3-540-70642-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods