3342 search results - page 40 / 669 » Automating Abstract Interpretation |
CSL
1995
Springer
15 years 6 months ago
1995
Springer
ECSQARU
2009
Springer
15 years 5 months ago
2009
Springer
116
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...
125
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...