Search Sciweavers | Sciweavers

1613 search results - page 2 / 323

» Functional and Constraint Logic Programming

click to vote

PPDP
1999
Springer

127views Programming Languages» more PPDP 1999»

Functional Plus Logic Programming with Built-In and Symbolic Constraints

13 years 11 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

click to vote

IFIP
2001
Springer

195views Programming Languages» more IFIP 2001»

Functional Test Generation using Constraint Logic Programming

13 years 12 months ago

Download www.ecs.umass.edu

— Semi-formal veriﬁcation based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...

Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre

claim paper

Read More »

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

14 years 1 months ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

13 years 11 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

click to vote

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers