Book Details

Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

Publication year: 2008

: 978-3-540-69166-2

:


The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.


: Computer Science / Software Engineering / Programming and Operating Systems / Programming Languages, Compilers, Interpreters / Logics and Meanings of Programs / Mathematical Logic and Formal Languages / Programming Techniques / Compiler / Java / abstract domains / abstract interpretation / automata / compiler optimization / complexity / fault tolerance / inductive definitions / linear constraints / model checking / optimization / programming / programming language / verification