Algebraic semantics for functional logic programming with polymorphic order-sorted types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1139, Issue , 1996, Pages 299-313

  Almendros Jimenez J M ^a   Gavilanes Franco, A ^a   Gil Luezas, A ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CALCULATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS;

ALGEBRAIC SEMANTIC; CONDITIONAL REWRITING; CONTINUOUS MAPPINGS; DENOTATIONAL SEMANTICS; FUNCTIONAL LOGIC LANGUAGES; FUNCTIONAL LOGIC PROGRAMMING; GROUND TERM ALGEBRAS; POLYMORPHIC SIGNATURE;

LOGIC PROGRAMMING;

EID: 84957018320     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61735-3_20     Document Type: Conference Paper

References (24)

1. J M Almendros-Jiménez. Type Inference and Checking for Polymorphic Order- Sorted Typed Functional Logic Programs. Procs. APPIA-GULP-PRODE’96. 1996.
2. J M Almendros-Jiménez, A Gil-Luezas. Lazy Narrowing with Polymorphic Order-Sorted Types. Technical Report DIA 30/96. UCM. 1996.
3. J. A. GOGUEN, J. W. THATCHER, E. G. WAGNER, J. B. WRIGHT. On Initial Algebra Semantic and Continuous Algebras, Journal ACM 24, 1, 68-95, 1977.
4. K. R. APT. Logic Programming, In J. van Leeuwen (ed), Handbook of Theoretical Computer Science, vol. B, 493-574, Elsevier Science Publishers, 1990.
5. P Arenas-Sánchez, A Gil-Luezas, F López-Fraguas. Combining Lazy Narrowing with Disequality Constraints, Proc. PLILP’94, LNCS 844, 385-399, 1994
6. L. Damas, R. Milner. Principal Type-Schemes for Functional Programs, Procs. 9th. Annual Symposium on Principles of Programming Languages, 207-212, 1982.
7. J. A. GOGUEN, J. MESEGUEm Order Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations, TCS 105, 217-273, 1992.
8. J. C. González-Moreno, T. Hortala-González, M. Rodriguez Artalejo. Denotational Versus Declarative Semantics for Functional Programming, Procs. CSL’91, LNCS 626, 134-148, 1991.
9. J. C. Gonzalez-Moreno, T. Hortala-Gonzalez, F. Lopez-Fraguas, M. Rodífguez-Artalejo. A Rewriting Logic for Declarative Programming, Procs. ESOP’96, LNCS 1058, 156-172, 1996.
10. C. A. GVNTER. Semantics of Programming Languages: Structures and Techniques, The MIT Press, 1992.
11. M. HANUS. Horn Clauses with Polymorphic Types: Semantics and Resolution, Procs. TAPSOFT’89, LNCS 352, Vol 2. 225-240, 1989.
12. M. HANUS. A Functional and Logic Language with Polymorphie Types, Procs. Int. Syrup. Design and Implementation of Symbolic Computation Systems, LNCS 429, 215-224, 1990.
13. M. HANUS. Parametric Order-Sorted Types in Logic Programming, Procs. TAPSOFT’ 91, LNCS 494, 181-200, 1991.
14. M. HANUS. The Integration of Functions into Logic Programming: A Survey, J. of Logic Programming 19/20, 583-628, 1994.
15. P. M. HILL, R. W. TOPOR. A Semantiesfor Typed Logic Programming, Chap. 1, Types in Logic Programming, The MIT Press, 1-58, 1992.
16. C. KIRCHNER, H. KIRCHNER, J. MESEGUER. Operational Semantics of OBJ-3, Procs. ICALP’88, LNCS 317, 287-301, 1988.
17. B. Möller. On the Algebraic Specification of Infinite Objects-Ordered and Continuous Models of Algebraic Types, Acta Informatica 22, 537-578, 1985.
18. J. J. Moreno-Navarro, M. Rodríguez-Artalejo. Logic Programming with Functions and Predicates: The Language BABEL, J. Logic Programming 12, 191-223-1992.
19. A. Mycroft, R. A. O’Keefe. A Polymorphic Type System for Prolog, Artificial Intelligence 23, 295-307, 1984.
20. D. S. SCOTT. Domains for denotational semantics, Procs. ICALP’82, LNCS 140, 577-613, 1982.
21. G. SMOLKA, W. NUTT, J. A. GOGUEN, J. MESEGUER. Order-Sorted Equational Computation, Resolution of Equations in Algebraic Structures, Vol. 2, Rewriting Techniques, Chap. 10, Academic Press, 297-367, 1989.
22. G. SMOLKA. TEL v. 0. 9, Report Manual and User Manual, SEKI Rep. SR-87-11.
23. G. SMOLKA. Logic Programming over Polymorphically Order-Sorted Types, PhD thesis, Universität Kaiserslautern, Germany, 1989.
24. U. WALDMANN. Semantics of Order-Sorted Specifications, TCS 94, 1-35. 1992