Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1994

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:

  1. Hartmut Ehrig
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fernando Orejas
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 785)

Conference series link(s): 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.

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 papers)

  1. Front Matter

    PDF

  2. Towards an algebraic semantics for the object paradigm

    • Joseph A. Goguen, Razvan Diaconescu
    Pages 1-29

  3. Rewriting techniques for software engineering

    • Jean-Pierre Jouannaud
    Pages 30-52

  5. Overloading and inheritance

    • Eric G. Wagner
    Pages 79-97

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

    • Mohamed Bettaz, Gianna Reggio
    Pages 98-112

  7. Institutions for very abstract specifications

    • M. Cerioli, G. Reggio
    Pages 113-127

  9. Semantic constructions in the specification language Glider

    • S. Clérici, R. Jiménez, F. Orejas
    Pages 144-157

  11. Translating TROLL light concepts to Maude

    • G. Denker, M. Gogolla
    Pages 173-187

  12. Algebraic high level nets

    • Hartmut Ehrig, Julia Padberg, Leila Ribeiro
    Pages 188-206

  13. 2-Categorical specification of partial algebras

    • Martin Große-Rhode, Uwe Wolter
    Pages 207-219

  14. A behavioural algebraic framework for modular system design with reuse

    • Rolf Hennicker, Friederike Nickl
    Pages 220-234

  18. Unified algebras and abstract syntax

    • Peter D. Mosses
    Pages 280-294

  19. Structured inheritance for algebraic class specifications

    • F. Parisi Presicce, A. Pierantonio
    Pages 295-309
Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation