Static Analysis
Publication year: 2007
: 978-3-540-74061-2
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007).
: Computer Science, Compiler, Java, abstract domains, automata, flow analysis, formal methods, formal verification, inductive definitions, logic, logic programming, optimization, program analysis, program manipulation, programming, semantics
