Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

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: Haveraaen, Magne, Owe, Olaf, Dahl, Ole-Johan (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70642-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
  • ISBN 978-3-540-61629-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (31 chapters)

Table of contents (31 chapters)
  • Seven years of COMPASS

    Pages 1-13

    Krieg-Brückner, Bernd

  • Inductively defined relations: A brief tutorial extended abstract

    Pages 14-16

    Burstall, R. M.

  • On the role of category theory in the area of algebraic specifications

    Pages 17-48

    Ehrig, H. (et al.)

  • Unification of theories: A challenge for computing science

    Pages 49-57

    Hoare, Tony

  • The larch shared language: Some open problems

    Pages 58-73

    Horning, James J.

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70642-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
  • ISBN 978-3-540-61629-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Recent Trends in Data Type Specification
Book Subtitle
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
Series Title
Lecture Notes in Computer Science
Series Volume
1130
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70642-7
DOI
10.1007/3-540-61629-2
Softcover ISBN
978-3-540-61629-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 558
Topics