Program Analysis Using Binary Relations

Adam Brooks Webber. Program Analysis Using Binary Relations. In PLDI. pages 249-260, 1997.

Abstract

Abstract is missing.