Shape Analysis with Structural Invariant Checkers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bor-Yuh Evan Chang, Xavier Rival, George C. Necula. Shape Analysis with Structural Invariant Checkers. In Hanne Riis Nielson, Gilberto Filé, editors, Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Volume 4634 of Lecture Notes in Computer Science, pages 384-401, Springer, 2007. [doi]

This author has not been identified. Look up 'Bor-Yuh Evan Chang' in GoogleThis author has not been identified. Look up 'Xavier Rival' in GoogleThis author has not been identified. Look up 'George C. Necula' in Google

runs on WebDSL