Search Sciweavers | Sciweavers

4513 search results - page 118 / 903

» Logic programming with satisfiability

120

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

16 years 21 days ago

Download research.microsoft.com

G. Ramalingam, Jyotirmoy V. Deshmukh, Kapil Vaswan...

claim paper

Read More »

155

Voted

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 »

109

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 »

Voted

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers