Abstract
From the range of techniques available for algebraic specifications we select a core set of features which we define to be the elementary algebraic specifications. These include equational specifications with hidden functions and sorts and initial algebra semantics. We give an elementary equational specification of the field operations and conjugation operator on the rational complex numbers ℚ(i) and discuss some open problems.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adamek, J., Hebert, M., Rosicky, J.: On abstract data types presented by multiequations. Theoretical Computer Science 275, 427–462 (2002)
Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic specification methods for data types. Information and Control 54, 186–200 (1982)
Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications: two characterisation theorems. SIAM Journal on Computing 12, 366–387 (1983)
Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science 50, 137–181 (1987)
Bergstra, J.A., Tucker, J.V.: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Journal of ACM 42, 1194–1230 (1995)
Bergstra, J.A., Tucker, J.V.: The data type variety of stack algebras. Annals of Pure and Applied Logic 73, 11–36 (1995)
Bergstra, J.A., Tucker, J.V.: The rational numbers as an abstract data type (submitted)
Bergstra, J.A., Tucker, J.V.: On fields and meadows of finite characteristic (submitted)
Bergstra, J.A.: Elementary algebraic specifications of the rational function field. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 40–54. Springer, Heidelberg (2006)
Calkin, N., Wilf, H.S.: Recounting the rationals. American Mathematical Monthly 107, 360–363 (2000)
Contejean, E., Marche, C., Rabehasaina, L.: Rewrite systems for natural, integral, and rational arithmetic. In: Comon, H. (ed.) RTA 1997. LNCS, vol. 1232, pp. 98–112. Springer, Heidelberg (1997)
Edwards, H.: Galois theory. Springer, Heidelberg (1984)
Goguen, J.A.: Memories of ADJ. Bulletin of the European Association for Theoretical Computer Science 36, 96–102 (1989)
Goguen, J.A.: A categorical manifesto. Mathematical Structures in Computer Science, vol. 1, pp. 49–67 (1991)
Goguen, J.A.: Tossing algebraic flowers down the great divide. In: Calude, C.S. (ed.) People and ideas in theoretical computer science, Singapore, pp. 93–129. Springer, Heidelberg (1999)
Meseguer, J., Goguen, J.A.: Initiality, induction, and computability. In: Nivat, M. (ed.) Algebraic methods in semantics, pp. 459–541. Cambridge University Press, Cambridge (1986)
Meseguer, J., Goguen, J.A.: Remarks on remarks on many-sorted algebras with possibly emtpy carrier sets. Bulletin of the EATCS 30, 66–73 (1986)
Goguen, J.A., Diaconescu, R.: An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science 4, 363–392 (1994)
Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. Journal of ACM 24, 68–95 (1977)
Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current trends in programming methodology. IV. Data structuring, pp. 80–149. Prentice-Hall, Englewood Cliffs (1978)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Kamin, S.: Some definitions for algebraic data type specifications. SIGLAN Notices 14(3), 28 (1979)
Khoussainov, B.: Randomness, computability, and algebraic specifications. Annals of Pure and Applied Logic, 1–15 (1998)
Khoussainov, B.: On algebraic specifications of abstract data types. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol. 2803, pp. 299–313. Springer, Heidelberg (2003)
Klop, J.W.: Term rewriting systems. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Mathematical Structures, vol. 2, pp. 1–116 (1992)
Marongiu, G., Tulipani, S.: On a conjecture of Bergstra and Tucker. Theoretical Computer Science 67, 87–97 (1989)
Meinke, K.: Universal algebra in higher types. Theoretical Computer Science 100, 385–417 (1992)
Meinke, K., Tucker, J.V.: Universal algebra. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Mathematical Structures, vol. I, pp. 189–411. Oxford University Press, Oxford (1992)
Meseguer, J., Goguen, J.A.: Initiality, induction and computability. In: Nivat, M., Reynolds, J. (eds.) Algebraic methods in semantics, pp. 459–541. Cambridge University Press, Cambridge (1985)
Moss, L.: imple equational specifications of rational arithmetic. Discrete Mathematics and Theoretical Computer Science 4, 291–300 (2001)
Moss, L., Meseguer, J., Goguen, J.A.: Final algebras, cosemicomputable algebras, and degrees of unsolvability. Theoretical Computer Science 100, 267–302 (1992)
Mosses, P.: Unified algebras and institutions. In: Proceedings 4th Logic in Computer Science, pp. 304–312. IEEE Press, Los Alamitos (1989)
Rees, D., Stephenson, K., Tucker, J.V.: The algebraic structure of interfaces. Science of Computer Programming 49, 47–88 (2003)
Stewart, I.: Galois theory. Chapman and Hall, Boca Raton (1973)
Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Semantic Modelling, pp. 357–526. Oxford University Press, Oxford (1995)
Stoltenberg-Hansen, V., Tucker, J.V.: Computable rings and fields. In: Griffor, E. (ed.) Handbook of Computability Theory, pp. 363–447. Elsevier, Amsterdam (1999)
Terese, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science 55, Cambridge University Press, Cambridge (2003)
Wagner, E.: Algebraic specifications: some old history and new thoughts. Nordic Journal of Computing 9, 373–404 (2002)
Wechler, W.: Universal algebra for computer scientists. In: EATCS Monographs in Computer Science, Springer, Heidelberg (1992)
Wirsing, M.: Algebraic specifications. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science Formal models and semantics, vol. B, pp. 675–788. North-Holland, Amsterdam (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bergstra, J.A., Tucker, J.V. (2006). Elementary Algebraic Specifications of the Rational Complex Numbers. In: Futatsugi, K., Jouannaud, JP., Meseguer, J. (eds) Algebra, Meaning, and Computation. Lecture Notes in Computer Science, vol 4060. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780274_24
Download citation
DOI: https://doi.org/10.1007/11780274_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35462-8
Online ISBN: 978-3-540-35464-2
eBook Packages: Computer ScienceComputer Science (R0)