Skip to main content
SpringerLink
Log in
Book cover

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

  • Book
  • © 1985

Overview

Authors:
  1. Hartmut Ehrig

    1. FB 20, Informatik, Sekr. FR 6-1, Technische Universität Berlin, Berlin 10, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Bernd Mahr

    1. FB 20, Informatik, Sekr. FR 6-1, Technische Universität Berlin, Berlin 10, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Theoretical Computer Science. An EATCS Series (EATCS, volume 6)

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (11 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Introduction

    • Hartmut Ehrig, Bernd Mahr
    Pages 1-8

  3. Equational Specifications and Algebras

    • Hartmut Ehrig, Bernd Mahr
    Pages 9-31

  4. Specification of Abstract Data Types

    • Hartmut Ehrig, Bernd Mahr
    Pages 32-61

  5. Initial Semantics of Specifications

    • Hartmut Ehrig, Bernd Mahr
    Pages 62-88

  6. Specificability and Characterization of Equational Classes

    • Hartmut Ehrig, Bernd Mahr
    Pages 89-107

  7. Equational Calculus and Term Rewriting

    • Hartmut Ehrig, Bernd Mahr
    Pages 108-137

  8. Correctness and Extension of Specifications

    • Hartmut Ehrig, Bernd Mahr
    Pages 138-167

  9. Parameterized Specifications and Functors

    • Hartmut Ehrig, Bernd Mahr
    Pages 168-200

  10. Parameter Passing

    • Hartmut Ehrig, Bernd Mahr
    Pages 201-244

  11. Concepts of a Specification Language

    • Hartmut Ehrig, Bernd Mahr
    Pages 245-272

  12. Semantics of the Specification Language ACT ONE

    • Hartmut Ehrig, Bernd Mahr
    Pages 273-306

  13. Back Matter

    Pages 307-321
    Download chapter PDF
Back to top

Keywords

About this book

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Authors and Affiliations

  • FB 20, Informatik, Sekr. FR 6-1, Technische Universität Berlin, Berlin 10, Germany

    Hartmut Ehrig, Bernd Mahr

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation