Search Sciweavers | Sciweavers

3738 search results - page 98 / 748

» Parametrized Logic Programming

click to vote

ESOP
2010
Springer

128views Programming Languages» more ESOP 2010»

Logical Concurrency Control From Sequential Proofs

14 years 5 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

170views Automated Reasoning» more LOPSTR 2005»

Declarative Programming with Function Patterns

14 years 1 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

14 years 9 days ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

14 years 8 days 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

14 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers