Skip to main content
SpringerLink
Log in
Book 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

  • Conference proceedings
  • © 1994

Overview

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)

Included in the following conference series:

Conference proceedings info: ADT 1992, COMPASS 1992.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter 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

  4. Identity and existence, and types in algebra

    • Axel Poigné
    Pages 53-78

  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

  8. About the “correctness” and “adequacy” of PLUSS specifications

    • Christine Choppy
    Pages 128-143

  9. Semantic constructions in the specification language Glider

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

  10. On certification of specifications for TROLL light objects

    • Stefan Conrad
    Pages 158-172

  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

  15. On fibred adjunctions and completeness for fibred categories

    • Claudio Hermida
    Pages 235-251

  16. Implementing inequality and nondeterministic specifications with bi-rewriting systems

    • Jordi Levy, Jaume Agustí
    Pages 252-267

  17. A semantic basis for logic-independent transformation

    • Junbo Liu
    Pages 268-279

  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

  20. Towards a theory for the animation of algebraic specifications

    • Catharina Rieckhoff
    Pages 310-320
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation