Static analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings /

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invit...

Full description

Corporate Authors: International Static Analysis Symposium Los Angeles, Calif.)
Other Authors: International Static Analysis Symposium, Palsberg, Jens., Su, Zhendong., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, ©2009.
Berlin ; New York : [2009]
Physical Description: 1 online resource (x, 359 pages) : illustrations.
Series: Lecture notes in computer science ; 5673.
LNCS sublibrary. Programming and software engineering.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available