2585 search results - page 291 / 517 » Automating Coherent Logic |
152
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
207
click to vote
ILP
2004
Springer
16 years 1 hour ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
137
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
170
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
202
click to vote
PODS
1991
ACM
15 years 10 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...