• Produktbild: Fundamentals of Algebraic Specification 1
  • Produktbild: Fundamentals of Algebraic Specification 1
Band 6

Fundamentals of Algebraic Specification 1 Equations and Initial Semantics

97,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.11.2011

Abbildungen

XI, 321 p.

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69964-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.11.2011

Abbildungen

XI, 321 p.

Verlag

Springer Berlin

Seitenzahl

321

Maße (L/B/H)

24,4/17/1,9 cm

Gewicht

588 g

Auflage

Softcover reprint of the original 1st ed. 1985

Sprache

Englisch

ISBN

978-3-642-69964-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Fundamentals of Algebraic Specification 1
  • Produktbild: Fundamentals of Algebraic Specification 1
  • Historical Remarks.- The Chapters of this Volume.- Further Topics.- 1 Equational Specifications and Algebras.- Basic Examples.- Signatures, Terms, and Algebras.- Equational Specifications and Derivations.- Bibliographic Notes for Chapter 1.- 2 Specifications of Abstract Data Types.- Abstract Data Types.- Quotient Term Algebras.- Semantics and Correctness of Specifications.- Bibliographic Notes for Chapter 2.- 3 Initial Semantics of Specifications.- Facts about Homomorphisms.- Term Algebras, Initial and Free Algebras.- Congruences and Quotients.- Initial and Free SPEC-Algebras.- Bibliographic Notes for Chapter 3.- 4 Specifiability and Characterization of Equational Classes.- Equational Theory and Equational Classes.- Subalgebras.- Products.- Homomorphic Images.- Birkhoff-Characterizations of Equational Classes.- Bibliographic Notes for Chapter 4.- 5 Equational Calculus and Term Rewriting.- Formal Proofs by Equations.- Correctness and Completeness of the Equational Calculus.- Term Rewriting with Equations.- Equivalence of Proofs and Term Rewriting with Equations.- Bibliographic Notes for Chapter 5.- 6 Correctness and Extension of Specifications.- Initial Correctness of Specifications.- Correctness of Specifications with Hidden Functions.- Stepwise Specification by Extensions.- Correctness of Example Specifications.- Bibliographic Notes for Chapter 6.- 7 Parameterized Specifications and Functors.- Parameterized Specifications.- Categories and Functors.- Free Constructions and Free Functors.- Semantics and Correctness of Parameterized Specifications.- Bibliographic Notes for Chapter 7.- 8 Parameter Passing.- Specification Morphisms.- Standard Parameter Passing and Pushouts.- Amalgamation.- Persistency and Extension of Functors.- Correctness of Standard Parameter Passing.- Parameterized Parameter Passing.- Iterated Parameter Passing.- Bibliographic Notes for Chapter 8.- 9 Concepts of a Specification Language.- Basic Specifications.- Combination.- Renaming.- Actualization.- Modularization.- Syntax of the Specification Language ACT ONE.- 10 Semantics of the Specification Language ACT ONE.- First Level of Semantics.- Second Level of Semantics.- Semantical Properties and Context-Conditions.- Initial Algebra Semantics.- Bibliographic Notes for the Appendix.