Order-sorted algebraic specifications with higher-order functions

Theoretical Computer Science

Volumn 183, Issue 2, 1997, Pages 157-185

  Haxthausen, Anne Elisabeth ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

Higher order functions; Order sorted algebraic specification; Subtypes

Indexed keywords

ALGEBRA; FORMAL LANGUAGES; FUNCTIONS; MATHEMATICAL TECHNIQUES; SORTING;

ORDER-SORTED ALGEBRAIC SPECIFICATION;

COMPUTER SCIENCE;

EID: 0031221730     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00323-4     Document Type: Article

References (17)

1. H. Ehrig, B. Mahr, Fundamentals of Algebraic Specification 1, Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol. 6, Springer, Berlin, 1985.
2. K. Futatsugi, J. Goguen, J. Jouannaud, J. Meseguer, Principles of OBJ2, in: Proc. POPL'85, Association for Computing Machinery, 1985, pp. 52-66.
3. J. Goguen, Higher-order functions considered unnecessary for higher order programming, Technical Report SRI-CSL-88-1R, SRI Int., 1988.
4. J. Goguen, J. Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoret. Comput. Sci. 105(2) (1992) 217-273.
5. J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J. Jouannaud, Introducing OBJ, Tech. Report SRI-CSL-92-03, SRI Int., 1992.
6. A.E. Haxthausen, Algebraic specification with higher-order functions, Tech. Report ETL TR-94-18, Electrotechnical Laboratory, 1994.
7. A.E. Haxthausen, Order-sorted algebraic specifications with higher-order functions, in: Proc. AMAST'95, Lecture Notes in Computer Science, vol. 936, Springer, Berlin, 1995, pp. 133-151.
8. H. Kreowski, Z. Qian, Relation-sorted algebraic specifications with built-in coercers: Basic notions and results, in: Proc. STACS'90, Lecture Notes in Computer Science, vol. 415, Springer, Berlin. 1990, pp. 165-175.
9. N. Martí-Oliet, J. Meseguer, Inclusions and subtypes, Tech. Report SRI-CSL-90-16, SRI Int., 1990.
10. K. Meinke, Universal algebra in higher types, Theoret. Comput. Sci. 100(2) (1992) 385-417.
11. B. Möller, Algebraic specification with higher-order operations, in: Proc. IFIP TC2 Working Conf. on Program Specification and Transformation, North-Holland, Amsterdam, 1986, pp. 367-392.
12. B. Möller, A. Tarlecki, M. Wirsing, Algebraic specification of reachable higher-order algebras, in: 5th Workshop on Specification of Abstract Datatypes, Lecture Notes in Computer Science, vol. 332, Springer, Berlin, 1988, pp. 154-169.
13. B. Möller, A. Tarlecki, M. Wirsing, Algebraic specifications with built-in domain constructions, in: Proc. CAAP'88, Lecture Notes in Computer Science, vol. 299, Springer, Berlin, 1988, pp. 132-148.
14. A. Poigné, On specifications, theories and models with higher types, Inform. Control 68 (1986) 1-46.
15. Z. Qian, Higher-order order-sorted algebras, in: Proc. Algebraic and Logic Programming, Lecture Notes in Computer Science, vol. 463, Springer, Berlin, 1990, pp. 86-100.
16. The RAISE Language Group, The RAISE Specification Language, The BCS Practitioners Series, Prentice-Hall, Englewood Cliffs, NJ, 1992.
17. J. Reynolds, Using category theory to design implicit conversions and generic operators, in: Proc. Semantics-Directed Compiler Generation, Lecture Notes in Computer Science, vol. 94, Springer. Berlin, 1980, pp. 211-258.