Abstract interpretation 论文

摘要

is a general theory for approximating the semantics of discrete dynamic systems, for example, computations of programs. In particular, program analysis algorithms can be constructively derived from these abstract semantics.