Abstract
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.
This work has been partially supported by CICYT TIC 98-0445-C03-01 and Acción Integrada hispano-alemana HA1997-0073.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Albert, M. Alpuente, M. Hanus, and G. Vidal. A Partial Evaluation Framework for Curry Programs. In Proc. of LPAR’99.
S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. In Proc. of POPL’94, pages 268–279, 1994.
M. Alpuente, S. Escobar, and S. Lucas. Incremental needed narrowing. In Proc. of the International PLI’99 Workshop IDL’ 99.
M. Alpuente, M. Falaschi, G. Moreno, and G. Vidal. A Transformation System for Lazy Functional Logic Programs In Proc. of FLOPS’ 99.
M. Alpuente, M. Hanus, S. Lucas, and G. Vidal. Specialization of Inductively Sequential Functional Logic Programs. In Proc. of ICFP’99.
F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
S. Escobar, M. Alpuente, and S. Lucas. UPV-Curry User’s Manual. TR DSIC-II/38/98. http://www.dsic.upv.es/users/elp/papers.html.
M. Hanus, S. Antoy, H. Kuchen, F. J. López-Fraguas, and F. Steiner. Curry An Integrated Functional Logic Language (version 0.5). Available at http://www-i2.informatik.rwth-aachen.de/ hanus/curry, Jan 1999.
M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583–628, 1994.
M. Hanus, H. Kuchen, and J.J. Moreno-Navarro. Curry: A truly functional logic language. In Proc. ILPS’95 Workshop on Visions for the Future of Logic Programming, pages 95–107, 1995.
P. Hill and J. W. Lloyd. The Gödel Programming Language. The MIT Press, Cambridge, MA, 1994.
P. Hudak, S. Peyton Jones, and P. Wadler. Report on the Functional Programming Language Haskell: a non-strict, purely functional language. Sigplan Notices, 27(5), 1992.
H. Kuchen and J. Anastasiadis. Higher Order Babel: Language and implementation. In Proc. of ELP’ 96, LNAI 1050:193–207, 1996.
F.J. López Fraguas and J. Sánchez Hernández. τογ:A multiparadigm Declarative System. In Proc. of RTA’99, LNCS 1631, 1999.
R. Milner, M. Tofte, and R. Harper. The Definition of ML. The MIT Press, 1990.
G. Nadathur and D. Miller. An Overview of λProlog. In Proc. of ICLP’88,pages 810–827. The MIT Press, Cambridge, MA, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alpuente, M., Escobar, S., Lucas, S. (1999). UPV-Curry: An Incremental Curry Interpreter. In: Pavelka, J., Tel, G., Bartošek, M. (eds) SOFSEM’99: Theory and Practice of Informatics. SOFSEM 1999. Lecture Notes in Computer Science, vol 1725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47849-3_20
Download citation
DOI: https://doi.org/10.1007/3-540-47849-3_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66694-3
Online ISBN: 978-3-540-47849-2
eBook Packages: Springer Book Archive