Search for tag: "equation"

Efficient Fixpoint Computation for Abstract Interpretation

Abstract interpretation is a general framework for expressing static program analyses. It reduces the problem of extracting properties of a program to computing an approximation of the least fixpoint…

From  Aditya Thakur on April 8th, 2021 0 likes 12 plays 0