5235 search results - page 82 / 1047 » Analysis of Multithreaded Programs |
144
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
114
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible se...
POPL
2010
ACM
15 years 10 months ago
2010
ACM
133
click to vote
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
154
click to vote
FOGA
2011
14 years 5 months ago
2011
Analyzing the computational complexity of evolutionary algorithms (EAs) for binary search spaces has significantly informed our understanding of EAs in general. With this paper, ...