A calculus of logical relations for over- and underapproximating static analyses

David A. Schmidt. A calculus of logical relations for over- and underapproximating static analyses. Science of Computer Programming, 64(1):29-53, 2007. [doi]

No reviews for this publication, yet.