Table of contents

  1. Front Matter
  2. S. Clerici, F. Orejas
    Pages 31-51
  3. Cristian Dimitrovici, Udo Hummert
    Pages 52-73
  4. Hartmut Ehrig, Francesco Parisi-Presicce
    Pages 74-97
  5. Martin Große-Rhode
    Pages 98-116
  6. Steffen Lange, Klaus P. Jantke
    Pages 117-140
  7. Gianfranco Mascari, Antonio Vincenzi
    Pages 166-184
  8. Karl Meinke
    Pages 185-203
  9. Robert Nieuwenhuis, Fernando Orejas
    Pages 204-219
  10. F. Orejas, P. Nivela
    Pages 220-245
  11. Gianna Reggio
    Pages 246-265
  12. Donald Sannella, Andrzej Tarlecki
    Pages 274-296
  13. Donald Sannella, Andrzej Tarlecki
    Pages 297-322

About these proceedings

Introduction

The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in cooperation with the ESPRIT Basic Research Working Group COMPASS. The main topics covered by the workshop were: - Modularization - Object orientation - Higher-order types anddependent types - Inductive completion - Algebraic high-level nets.

Keywords

Algebraic High-Level Nets Algebraische Netze Compiler Data Types Datentypen Inductive Completition Induktive Vervollständigung Object-Orientation Objektorientierung Specification Spezifikation design object

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54496-8
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54496-8
  • Online ISBN 978-3-540-38416-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book