Skip to main content
SpringerLink
Log in

Recent Trends in Data Type Specification

3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers

  • Conference proceedings
  • © 1985

Overview

Editors:
  1. Hans-Jörg Kreowski

    1. Fachbereich Mathematik und Informatik, Universität Bremen, Bremen 33, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 116)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (18 papers)

  1. Front Matter

    Pages N2-VII
    Download chapter PDF

  3. Invited notes

    1. Algebraic (?) Specification of Conceptual Database Schemata

      • H.-D. Ehrich
      Pages 22-27

    2. OBSCURE, A New Specification Language

      • Claus-Werner Lermen, Jacques Loeckx
      Pages 28-30

    3. Some Thoughts on Algebraic Specification

      • Donald Sannella, Andrzej Tarlecki
      Pages 31-38

  4. Contributions

    1. Implementation Specifications

      • Christoph Beierle, Angelika Voß
      Pages 39-53

    2. The ASSPEGIQUE specification environment Motivations and Design

      • Michel Bidoit, Christine Choppy, Frédéric Voisin
      Pages 54-72

    3. Towards Abstract User Interfaces for Formal System Specifications

      • Hartmut Ehrig, Werner Fey, Horst Hansen
      Pages 73-88

    4. A Final Algebra Semantics for Errors and Exceptions

      • Martin Gogolla
      Pages 89-103

    5. OSI Transport Service Considered as an Abstract Data Type

      • Klaus Peter Hasler, Jan de Meer
      Pages 104-118

    6. Observational Specification: A Birkhoff-Theorem

      • Rolf Hennicker, Martin Wirsing
      Pages 119-135

    7. Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence

      • Stéphane Kaplan
      Pages 136-155

    8. Transformation of Interface Specifications

      • Bernd Krieg-Brückner
      Pages 156-170

    9. Axiomatising Specification Theory

      • Tom Maibaum, Martin Sadler
      Pages 171-177

    10. On the Algebraic Specification of Domains

      • Bernhard Möller, Walter Dosch
      Pages 178-195

    11. Passing Compatibility is Almost Persistency

      • F. Orejas, C. R. I. Nancy
      Pages 196-206

    12. Automatic Prototyping of Algebraic Specifications using Prolog

      • H. Petzsch
      Pages 207-223

    13. Error Handling for Parameterized Data Types

      • Axel Poigné
      Pages 224-239

    14. Model Theory of Denotational Semantics

      • Thomas Streicher
      Pages 240-253
Back to top

Keywords

Editors and Affiliations

  • Fachbereich Mathematik und Informatik, Universität Bremen, Bremen 33, Germany

    Hans-Jörg Kreowski

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation