The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Lee masThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lee mas