3342 search results - page 42 / 669 » Automating Abstract Interpretation |
ICLP
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
100
Voted
CASCON
2001
15 years 6 days ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
113
click to vote
ESSLLI
2009
Springer
14 years 8 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
65
Voted
DAC
2004
ACM
15 years 11 months ago
2004
ACM
FLOPS
2010
Springer
15 years 5 months ago
2010
Springer
