Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett. Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 62-77, Springer, 2008. [doi]

This author has not been identified. Look up 'Christopher L. Conway' in GoogleThis author has not been identified. Look up 'Dennis Dams' in GoogleThis author has not been identified. Look up 'Kedar S. Namjoshi' in GoogleThis author has not been identified. Look up 'Clark Barrett' in Google

runs on WebDSL