Publication year: 2005
ISBN: 978-3-540-31971-9
Internet Resource: Please Login to download book
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."
Subject: Computer Science, Scala, abstract domains, abstract testing, algorithms, data structure, data structures, flow analysis, formal verification, logic, model checking, optimization, program manipulation, program semantics, security analysis, software