Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 906)
Included in the following conference series:
- ADT: Workshop on the Specification of Abstract Data Types
- COMPASS: Workshop of the ESPRIT Basic Research Working Group COMPASS
Conference proceedings info: ADT 1994, COMPASS 1994.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Keywords
Table of contents (28 papers)
Bibliographic Information
Book Title: Recent Trends in Data Type Specification
Book Subtitle: 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
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0014419
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-59132-0Published: 21 April 1995
eBook ISBN: 978-3-540-49198-9Published: 12 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 532
Topics: Data Structures and Information Theory, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs