192 search results - page 13 / 39 » Using Call Exit Analysis for Logic Program Transformation |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Interpolation is an important technique in veriļ¬cation and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
FPGA
2004
ACM
14 years 1 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
SIGSOFT
2004
ACM
14 years 1 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
CGO
2008
IEEE
14 years 2 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
PKDD
2000
Springer
13 years 11 months ago
2000
Springer
Although there is a growing need for multi-relational data mining solutions in KDD, the use of obvious candidates from the field of Inductive Logic Programming (ILP) has been limit...