Reducing the overhead of assertion run-time checks via static analysis.

Nataliia Stulova, Jos F. Morales, Manuel V. Hermenegildo

Browse the full PPDP paper archive.