论文信息 - UPV-CURRY: An Incremental CURRY Interpreter

UPV-CURRY: An Incremental CURRY Interpreter

Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm declarative language Curry is an extension of Haskell which is intended to become a standard in the area. In this paper, we present UPV-Curry, an efficient and quite complete implementation of Curry based on a new, incremental definition of its basic evaluation mechanism.We compare UPV-Curry with already existing implementations of other Curry interpreters.

Salvador Lucas | María Alpuente | Santiago Escobar

[1] M. Hanus,et al. Curry: A Truly Functional Logic Language , 1995 .

[2] Herbert Kuchen,et al. Higher Order Babel: Language and Implementation , 1996, ELP.

[3] Salvador Lucas,et al. Specialization of inductively sequential functional logic programs , 1999, ICFP '99.

[4] Rachid Echahed,et al. A needed narrowing strategy , 2000, JACM.

[5] Salvador Lucas,et al. UPV-Curry User's Manual , 2000 .

[6] María Alpuente,et al. A Partial Evaluation Framework for Curry Programs , 1999, LPAR.

[7] Dale A. Miller,et al. AN OVERVIEW OF PROLOG , 1988 .

[8] Eve E. Sweetser,et al. Cultural models in language and thought: The definition of lie , 1987 .

[9] John W. Lloyd,et al. The Gödel programming language , 1994 .

[10] Francisco Javier López-Fraguas,et al. TOY: A Multiparadigm Declarative System , 1999, RTA.

[11] María Alpuente,et al. A Transformation System for Lazy Functional Logic Programs , 1999, Fuji International Symposium on Functional and Logic Programming.

[12] John W. Lloyd,et al. The Go¨del programming language , 1994 .

[13] Simon L. Peyton Jones,et al. Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[14] Michael Hanus,et al. The Integration of Functions into Logic Programming: From Theory to Practice , 1994, J. Log. Program..

[15] Tobias Nipkow,et al. Term rewriting and all that , 1998 .