Memory Usage Verification for OO Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard. Memory Usage Verification for OO Programs. In Chris Hankin, Igor Siveroni, editors, Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings. Volume 3672 of Lecture Notes in Computer Science, pages 70-86, Springer, 2005. [doi]

This author has not been identified. Look up 'Wei-Ngan Chin' in GoogleThis author has not been identified. Look up 'Huu Hai Nguyen' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in GoogleThis author has not been identified. Look up 'Martin C. Rinard' in Google

runs on WebDSL