CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Lecture Notes in Computer Science
cover

Recent Trends in Data Type Specification

9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers

Editors: Ehrig, Hartmut, Orejas, Fernando (Eds.)

Buy this book

eBook 50,28 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48361-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
About this book

Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992.
The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Towards an algebraic semantics for the object paradigm

    Pages 1-29

    Goguen, Joseph A. (et al.)

  • Rewriting techniques for software engineering

    Pages 30-52

    Jouannaud, Jean-Pierre

  • Identity and existence, and types in algebra

    Pages 53-78

    Poigné, Axel

  • Overloading and inheritance

    Pages 79-97

    Wagner, Eric G.

  • A SMoLCS based kit for defining high-level algebraic Petri nets

    Pages 98-112

    Bettaz, Mohamed (et al.)

Buy this book

eBook 50,28 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48361-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 62,39 €
price for Spain (gross)
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Recent Trends in Data Type Specification
Book Subtitle
9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers
Editors
  • Hartmut Ehrig
  • Fernando Orejas
Series Title
Lecture Notes in Computer Science
Series Volume
785
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48361-8
DOI
10.1007/3-540-57867-6
Softcover ISBN
978-3-540-57867-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 356
Topics