1461 search results - page 1 / 293 » Analysis of Constraint Logic Programs |
ESOP
1999
Springer
13 years 9 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
2009
Springer
14 years 5 months ago
2009
Springer
CC
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
SLP
1990
13 years 5 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
AGP
2010
IEEE
13 years 9 months ago
2010
IEEE
