Eliminating Stack Overflow by Abstract Interpretation.

John Regehr, Alastair Reid, Kirk Webb

Browse the full EMSOFT paper archive.