1911 search results - page 60 / 383 » Program analysis for code duplication in logic programs |
153
click to vote
TRIER
2002
15 years 1 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
101
click to vote
CP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
121
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
155
click to vote
CL
1999
Springer
15 years 1 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
126
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...