4719 search results - page 101 / 944 » Newtonian program analysis |
155
Voted
CASES
2004
ACM
16 years 26 days ago
2004
ACM
183
click to vote
CAV
2004
Springer
16 years 25 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
174
Voted
SFM
2010
Springer
16 years 15 days ago
2010
Springer