4716 search results - page 9 / 944 » Iterative-free program analysis |
IFIP
2010
Springer
13 years 4 months ago
2010
Springer
TOIT
2012
12 years 1 days ago
2012
SIGDOC
1990
ACM
14 years 1 months ago
1990
ACM
ESOP
1999
Springer
14 years 1 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
14 years 1 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...