T. Hortalá-González, F.J. López-Fraguas, J. Sánchez-Hernández, E. Ullán-Hernández  Home/Search
Context Related
| mozart.sip.ucm.es/papers/...cflpr.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mozart.sip.ucm.es/pap...resumenes (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a declarative language -- CFLP (R) -- which enhances functional logic programming with constraint solving capabilities. CFLP (R) features: polymorphic types, nondeterministic functions, lazy evaluation, higher order (even logic) computations, arithmetical constraints over real numbers and disequality constraints over syntactic terms. The features of the language are shown by means of examples, attempting to demonstrate the interest of CFLP (R). The execution mechanism of the... (Update)
Context of citations to this paper: More
...over real numbers. The TOY system 3 includes disequality constraints between syntactic terms and linear constraints over real numbers [HLSU97] and uses a lazy narrowing strategy. It does not implement residuation, however. In addition TOY does not provide minimize and...
...real numbers. The TOY system 3 includes disequality constraints between syntactic terms and linear constraints over real numbers [HLSU97]. Their implementation is based on a translation into Sicstus Prolog, however. 7 Conclusion In this paper we have sketched an integration...
Cited by: More
Adding Linear Constrains over Real Numbers to Curry - Lux (2000) (Correct)
Active bibliography (related documents): More All
1.1: Functional Logic Programming with Real Numbers - Arenas-Sánchez.. (Correct)
1.0: Functional-Logic Parsers In TOY - Roldán, Fraguas (1998) (Correct)
0.7: Real Constraints within a Functional Logic Language - Arenas-Sánchez.. (1996) (Correct)
Similar documents based on text: More All
0.5: Combining Lazy Narrowing with Disequality Constraints - Arenas-Sánchez.. (1994) (Correct)
0.4: Pragmatic User Model Implementation in an Intelligent.. - Baltasar.. (Correct)
0.3: Classification of Invariant Wave Equations - Heredero, Olver (1996) (Correct)
Related documents from co-citation: More All
2: Report on the programming language Haskell (context) - Hudak, Jones et al. - 1992
2: Le Fun: Logic (context) - t-Kaci, Lincoln et al. - 1987
2: The Oz programming model - Smolka - 1995
BibTeX entry: (Update)
T. Hortal'a-Gonz'alez, F.J. L'opez-Fraguas, J. S'anchez-Hern'andez, and E. Ull'an-Hern'andez. Declarative programming with real constraints. Technical Report SIP 5997, Univ. Complutense Madrid, 1997. http://citeseer.ist.psu.edu/64377.html More
@misc{ hortal'a-gonz'alez97declarative,
author = "T. Hortal'a-Gonz'alez and F. L'opez-Fraguas and J. S'anchez-Hern'andez
and E. Ull'an-Hern'andez",
title = "Declarative programming with real constraints",
text = "T. Hortal'a-Gonz'alez, F.J. L'opez-Fraguas, J. S'anchez-Hern'andez, and
E. Ull'an-Hern'andez. Declarative programming with real constraints. Technical
Report SIP 5997, Univ. Complutense Madrid, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/64377.html" }
Citations (may not include all citations):373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992 DBLP
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, L'opez-Fraguas et al. - 1993 ACM DBLP
24 the Completeness of Narrowing as the Operational Semantics o.. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1993
22 on Principles of Programming Languages (context) - Jaffar, Lassez - 1987
21 Austrian Research Institute for Artificial Intelligence (context) - OFAI, Manual - 1995
16 Purely Functional Language (context) - the, Haskell et al. - 1997
14 A Rewriting Logic for Declarative Programming (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1996
14 Ten Years of Logic Programming (context) - The, Functions et al. - 1994
14 Combining Lazy Narrowing with Disequality Constraints (context) - Arenas-S'anchez, Gil-Luezas et al. - 1994
5 A Higher Order Rewriting Logic for Functional Logic Programm.. (context) - Gonz'alez-Moreno, Hortal'a-Gonz'alez et al. - 1997 DBLP
5 al y l'ogica con restricciones (context) - Programaci'on - 1994
3 A Semantic Framework for Functional Logic Programming with A.. (context) - Arenas-S'anchez, Rodr'iguez-Artalejo - 1997 ACM DBLP
3 on Principles of Programming Languages (context) - Antoy, Echahed et al. - 1994
3 A Tiny Constraint Functional Logic Language and Its Continua.. (context) - Muck, Streicher et al. - 1994
3 A New Perspective on Integrating Functions and Logic Languag.. (context) - Darlington, Guo - 1992
1 Multi-Paradigm Logic Programming (context) - Higher-order, in et al. - 1996
Documents on the same site (http://mozart.sip.ucm.es/papers/CPD97/resumenes.html):
A Lazy Splitting System for Forum - Pablo Opez (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC