Bound Analysis of Imperative Programs with the Size-Change Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith. Bound Analysis of Imperative Programs with the Size-Change Abstraction. In Eran Yahav, editor, Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. Volume 6887 of Lecture Notes in Computer Science, pages 280-297, Springer, 2011. [doi]

This author has not been identified. Look up 'Florian Zuleger' in GoogleThis author has not been identified. Look up 'Sumit Gulwani' in GoogleThis author has not been identified. Look up 'Moritz Sinn' in GoogleThis author has not been identified. Look up 'Helmut Veith' in Google

runs on WebDSL