3 search results - page 1 / 1 » Improving the Precision of INCA by Eliminating Solutions wit... |
TSE
2002
13 years 4 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
Ì ÁÒ ÕÙ Ð ØÝ Æ ×× ÖÝ ÓÒ Ø ÓÒ Ò ÐÝÞ Ö ´ÁÆ µ × ¬Ò Ø ¹×Ø Ø Ú Ö ¬ Ø ÓÒ ØÓÓÐ Ø Ø × Ò Ð ØÓ ÔÖÓÔ¹ ÖØ × Ó ×ÓÑ Ú ÖÝ Ð Ö...
ECOOP
2000
Springer
13 years 9 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...