Search Sciweavers | Sciweavers

1613 search results - page 2 / 323

» Functional and Constraint Logic Programming

104

Voted

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 »

163

click to vote

IFIP
2001
Springer

195views Programming Languages» more IFIP 2001»

Functional Test Generation using Constraint Logic Programming

15 years 7 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 »

120

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

15 years 9 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

166

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 7 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

Voted

ENTCS
2007

106views more ENTCS 2007»

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers