In this talk we rapidly overview the application of “Abstract Interpretation” to “Program Static Analysis”. Program Static Analysis aims at automatically extraction of program properties by analysis of the program text without and prior to any execution. Such properties are formal descriptions of the program behavior which are therefore valid for all possible executions of the program. Abstract Interpretation formalizes program analyzers as computable approximations of the formal semantics of programming languages, with some controlled loss of information. These notions are introduced informally and extensively illustrated with historical examples and work done at the École Normale Sup érieure these last 10 years. Recent industrialization, indispensable future work and prospectives are quickly surveyed.
Monday, 04-Jan-2010 13:50:28 CET