Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ICLP
1992
Springer

favoriteEmaildiscussreport

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

13 years 8 months ago

Implementing a Lazy Functional Logic Language with Disequality Constraints

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag

Real-time Traffic

Automated Reasoning | ICLP 1992 |

claim paper

Related Content

» Combining Lazy Narrowing with Disequality Constraints

» Implementing functional logic languages using multiple threads and stores

» A declarative debugger of incorrect answers for constraint functionallogic programs

» Constraint Functional Logic Programming over Finite Domains

» Embedding Multiset Constraints into a Lazy Functional Logic Language

» Compiling MultiParadigm Declarative Programs into Prolog

» Observing Functional Logic Computations

» Declarative Diagnosis of Missing Answers in Constraint FunctionalLogic Programming

» A lazy narrowing calculus for declarative constraint programming

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ICLP
Authors	Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo

Comments (0)