Sciweavers

3481 search results - page 77 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
152
Voted
IFIP
1994
Springer
15 years 11 months ago
Deriving Partial Correctness Logics From Evolving Algebras
Arnd Poetzsch-Heffter
193
Voted
ECOOP
2007
Springer
15 years 11 months ago
Code Analyses for Refactoring by Source Code Patterns and Logical Queries
Daniel Speicher, Malte Appeltauer, Günter Kni...
165
Voted
AGP
1999
IEEE
15 years 11 months ago
Extending clp(FD) by Negative Constraint Solving
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
Antonio J. Fernández, Patricia M. Hill