Skip to main content
SpringerLink
Log in
Book cover

Recent Trends in Data Type Specification

8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Michel Bidoit
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Christine Choppy
    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 655)

Included in the following conference series:

Conference proceedings info: ADT 1991, COMPASS 1991.

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 (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Algebraic specification of concurrency

    • Egidio Astesiano, Gianna Reggio
    Pages 1-39

  3. Objects and their specification

    • Hans-Dieter Ehrich, Martin Gogolla, Amilcar Sernadas
    Pages 40-65

  4. The use of sorts in algebraic specifications

    • Peter D. Mosses
    Pages 66-91

  5. Implementation and behavioural equivalence: A survey

    • Fernando Orejas, Marisa Navarro, Ana Sánchez
    Pages 93-125

  6. Relationships between logical frameworks

    • Egidio Astesiano, Maura Cerioli
    Pages 126-143

  7. Label algebras: A systematic use of terms

    • Gilles Bernot, Pascale Le Gall
    Pages 144-163

  8. How to specify non determinism and true concurrency with algebraic term nets

    • Mohamed Bettaz, Mourad Maouche
    Pages 164-180

  9. Bounded implementation of algebraic specifications

    • Michael Breu
    Pages 181-198

  10. New concepts of amalgamation and extension for a general theory of specifications

    • Hartmut Ehrig, Michael Baldamus, Fernando Orejas
    Pages 199-221

  11. Nonequivalence of categories for equational algebraic specifications

    • H. Ehrig, F. Parisi-Presicce
    Pages 222-235

  12. Process semantics of temporal logic specification

    • J. L. Fiadeiro, J. F. Costa, A. Sernadas, T. S. E. Maibaum
    Pages 236-253

  13. The object-based specification language Π: concepts, syntax, and semantics

    • Peter Gabriel
    Pages 254-270

  14. Specifications with observable formulae and observational satisfaction relation

    • Teodor Knapik
    Pages 271-291

  15. Event logic for specifying abstract dynamic data types

    • Gianna Reggio
    Pages 292-309

  16. A soft stairway to institutions

    • Antonino Salibra, Giuseppe Scollo
    Pages 310-329

  17. Generic classes in an object-based language

    • Eric G. Wagner
    Pages 330-344

  18. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation