125
Voted
FLOPS
15 years 2 months ago
2008 Springer 
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
104
click to vote
FLOPS
15 years 2 months ago
2008 Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
FLOPS
15 years 2 months ago
2008 Springer 
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
101
click to vote
FLOPS
15 years 2 months ago
2008 Springer 
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
107
click to vote
FLOPS
15 years 2 months ago
2008 Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
|
Automated Reasoning