On the Practical Static Checker of Semantic Run-Time Errors.

Vladimir I. Shelekhov, Sergey V. Kuksenko

Browse the full APSEC paper archive.