4725 search results - page 12 / 945 » Dependence-Based Program Analysis |
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
SIGDOC
1990
ACM
13 years 11 months ago
1990
ACM
ESOP
1999
Springer
13 years 11 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...
ICLP
2010
Springer
13 years 11 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...