Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 785)
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 1992, COMPASS 1992.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (21 papers)
Keywords
About this book
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.
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
DOI: https://doi.org/10.1007/3-540-57867-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-57867-3Published: 28 April 1994
eBook ISBN: 978-3-540-48361-8Published: 05 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 356
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs