Eliminating Stack Overflow by Abstract Interpretation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Regehr, Alastair Reid, Kirk Webb. Eliminating Stack Overflow by Abstract Interpretation. In Rajeev Alur, Insup Lee, editors, Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings. Volume 2855 of Lecture Notes in Computer Science, pages 306-322, Springer, 2003. [doi]

This author has not been identified. It may be one of the following persons:

John Regehr

Look up 'John Regehr' in GoogleThis author has not been identified. Look up 'Alastair Reid' in GoogleThis author has not been identified. Look up 'Kirk Webb' in Google

runs on WebDSL