Abstract
In the last chapter we have introduced algebraic specifications and algebras satisfying the given equations. In general there are many different algebras for each specification SPEC. In this chapter we want to consider a distinguished algebra, the quotient term algebra T SPEC, which is generated by its operations and satisfies some ground equations E if and only if E is valid in all SPEC-algebras. The last property is called “typical”. In Chapter 3 we will see that these properties “generated” and “typical” are characterizing TSPEC uniquely up to isomorphism of algebras.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B. (1985). Specification of Abstract Data Types. In: Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69962-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-69962-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69964-1
Online ISBN: 978-3-642-69962-7
eBook Packages: Springer Book Archive