Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Recent Trends in Data Type Specification

11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Magne Haveraaen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Olaf Owe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ole-Johan Dahl
    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 1130)

Included in the following conference series:

Conference proceedings info: ADT 1995, COMPASS 1995.

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

About this book

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

Similar content being viewed by others

Keywords

Table of contents (31 papers)

  1. Front Matter

    Download chapter PDF

  2. Seven years of COMPASS

    • Bernd Krieg-Brückner
    Pages 1-13

  3. Inductively defined relations: A brief tutorial extended abstract

    • R. M. Burstall
    Pages 14-16

  4. On the role of category theory in the area of algebraic specifications

    • H. Ehrig, M. Große-Rhode, U. Wolter
    Pages 17-48

  5. Unification of theories: A challenge for computing science

    • Tony Hoare
    Pages 49-57

  6. The larch shared language: Some open problems

    • James J. Horning
    Pages 58-73

  7. The lambda calculus as an abstract data type

    • Pierre Lescanne
    Pages 74-80

  8. Unifying theories in different institutions

    • M. Arrais, J. L. Fiadeiro
    Pages 81-101

  9. Interchange format for inter-operability of tools and translation

    • Michel Bidoit, Christine Choppy, Frédéric Voisin
    Pages 102-124

  10. Experiments with partial evaluation domains for rewrite specifications

    • Reinhard Bündgen, Werner Lauterbach
    Pages 125-142

  11. Class-sort polymorphism in GLIDER

    • S. Clérici, R. Jiménez, F. Orejas
    Pages 143-160

  12. Deontic concepts in the algebraic specification of dynamic systems: The permission case

    • Eva Coscia, Gianna Reggio
    Pages 161-181

  13. Reification — Changing viewpoint but preserving truth

    • G. Denker
    Pages 182-199

  14. A category-based equational logic semantics to constraint programming

    • Răzvan Diaconescu
    Pages 200-221

  15. Concurrent state transformations on abstract data types

    • Martin Große-Rhode
    Pages 222-236

  16. A view on implementing processes: Categories of circuits

    • Ulrich Hensel, David Spooner
    Pages 237-254

  17. Combining algebraic and set-theoretic specifications

    • Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
    Pages 255-273

  18. Minimal term rewriting systems

    • J. F. Th. Kamperman, H. R. Walters
    Pages 274-290

  19. InterACT: An interactive theorem and completeness prover for algebraic specifications with conditional equations

    • Marcus Klar, Robert Geisler, Felix Cornelius
    Pages 291-305

  20. Rewriting and reasoning with set-relations II: The non-ground case completeness

    • Valentinas Kriaučiukas, Michał Walicki
    Pages 306-321
Back to top

Bibliographic Information

  • Book Title: Recent Trends in Data Type Specification

  • Book Subtitle: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

  • Editors: Magne Haveraaen, Olaf Owe, Ole-Johan Dahl

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-61629-2

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1996

  • Softcover ISBN: 978-3-540-61629-0Published: 04 September 1996

  • eBook ISBN: 978-3-540-70642-7Published: 07 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 558

  • Topics: Theory of Computation, Software Engineering, Programming Languages, Compilers, Interpreters

Publish with us

Policies and ethics

Back to top

Search

Navigation