A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications

Journal of Computer and System Sciences

Volumn 54, Issue 3, 1997, Pages 502-519

  Meinke, Karl ^a  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; RECURSIVE FUNCTIONS; THEOREM PROVING;

COMPLETENESS THEOREM; HIGHER ORDER ALGEBRAIC SPECIFICATIONS;

COMPUTATION THEORY;

EID: 0031167865     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1997.1489     Document Type: Article

References (23)

1. J. A. Bergstra and J. V. Tucker, A natural data type with a finite equational final semantics but no effective equational initial semantics specification, Bull. EATCS 11 (1980), 23-33.
2. J. A. Bergstra and J. V. Tucker, The completeness of the algebraic specification methods for computable data types, Inform. Control 54 (1982), 186-200.
3. J. A. Bergstra and J. V. Tucker, Initial and final algebra semantics for data type specifications; two characterisation theorems, SIAM J. Comput. 12 (1983), 366-387.
4. J. A. Bergstra and J. V. Tucker, Algebraic specifications of computable and semicomputable data types, Theoret. Comput. Sci. 50 (1987), 137-181.
5. H. Ehrig and B. Mahr, "Fundamentals of Algebraic Specification I: Equations and Initial Semantics," Springer-Verlag, Berlin/Heidelberg/ New York, 1985.
6. J. A. Goguen and J. Meseguer, Completeness of many-sorted equational logic, SIGPLAN Notices 17 (1982), 9-17.
7. J. A. Goguen and J. Meseguer, Initiality, induction and computability, in "Algebraic Methods in Semantics" (M. Nivat and J. C. Reynolds, Eds.), pp. 459-541, Cambridge Univ. Press, Cambridge, 1985.
8. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, Abstract data types as initial algebras and the correctness of data representations, in "Proceedings Conf. on Computer Graphics, Pattern Recognition and Data Structures," pp. 89-93, 1975.
9. J. Heering, K. Meinke, B. Möller, and T. Nipkow (Eds.), "HOA'93: An International Workshop on Higher-Order Algebra, Logic and Term Rewriting," Lect. Notes Comput. Sci., Vol. 816, Springer-Verlag, Berlin/Heidelberg/New York, 1994.
10. J. Heering, K. Meinke, B. Möller, and T. Nipkow (Eds.), "HOA'95: An International Workshop on Higher-Order Algebra, Logic and Term Rewriting," Lect. Notes Comput. Sci., Springer-Verlag, Berlin/ Heidelberg/New York, 1995.
11. P. G. Hinman, "Recursion-Theoretic Hierarchies," Springer-Verlag, Berlin/Heidelberg/New York, 1978.
12. P. Kosiuczenko and K. Meinke, On the power of higher-order algebraic specifications, Inform. Comput. 124 (1996), 85-101.
13. K. Meinke, Universal algebra in higher types, Theoret. Comput. Sci. 100 (1992), 385-417.
14. K. Meinke, Subdirect representation of higher-order algebras, in "Many-Sorted Logic and its Applications" (K. Meinke and J. V. Tucker), Wiley, Chichester, 1993.
15. K. Meinke, A recursive second-order initial algebra specification of primitive recursion, Acta Informatica 31 (1994), 329-340.
16. K. Meinke, Higher-order equational logic for specification, simulation and testing, in "Proc. Second Int. Workshop on Higher-order Algebra, Logic and Term rewriting, HOA'95," 1995.
17. K. Meinke and L. J. Steggles, Specification and verification in higher-order algebra, case studies of dataflow and systolic architectures, Sci. Comput. Programming, submitted.
18. K. Meinke and J. V. Tucker, Universal algebra, in "Handbook of Logic in Computer Science" (S. Abramsky, D. Gabbay, and T. S. E. Maibaum, Eds.), pp. 189-411, Oxford Univ. Press, Oxford 1993.
19. B. Möller, "Higher-Order Algebraic Specifications," Fakultät für Mathematik und Informatik, Universität München, Habilitationsschrift, 1987.
20. H. Rogers, "Theory of Recursive Functions and Effective Computability," MIT Press, Cambridge, Massachusetts, 1987.
21. L. J. Steggles, "Extensions of Higher-Order Algebra: Case Studies and Fundamental Theory," Ph.D. thesis, Dept. of Computer Science, University of Wales, Swansea, 1995.
22. V. Stoltenberg-Hansen and J. V. Tucker, "Effective Algebras," Report CSR 3-95, Dept. of Computer Science, University of Wales, Swansea, 1995.
23. M. Wirsing, Algebraic specification, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), pp. 675-788, North-Holland, Amsterdam, 1990.