Search Sciweavers | Sciweavers

7456 search results - page 134 / 1492

» Parallelism in Logic Programming

150

click to vote

LOPSTR
2005
Springer

170views Automated Reasoning» more LOPSTR 2005»

Declarative Programming with Function Patterns

15 years 8 months ago

Download web.cecs.pdx.edu

We propose an extension of functional logic languages that allows the deﬁnition of operations with patterns containing other deﬁned operation symbols. Such “function patterns...

Sergio Antoy, Michael Hanus

claim paper

Read More »

click to vote

ICCL
1998
IEEE

120views Programming Languages» more ICCL 1998»

A Conservative Technique to Improve Deterministic Evaluation of Logic Programs

15 years 7 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

104

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

15 years 7 months ago

Download gpd.sip.ucm.es

Puri Arenas-Sánchez, Francisco Javier L&oac...

claim paper

Read More »

click to vote

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

15 years 7 months ago

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »

106

click to vote

POPL
1994
ACM

113views Programming Languages» more POPL 1994»

Analyzing Logic Programs with Dynamic Scheduling

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers