22 search results - page 5 / 5 » Automatic Termination Analysis of Programs Containing Arithm... |
ISSTA
2009
ACM
14 years 28 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
SIGSOFT
2005
ACM
14 years 7 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...