Here is a paper describing the current approach:

Sam Blackshear and Shuvendu Lahiri, Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings, in Programming Language Design and Implementation (PLDI'13), ACM, June 2013 http://research.microsoft.com/apps/pubs/default.aspx?id=183720

Last edited Apr 4, 2013 at 6:35 PM by shuvendu, version 1

Comments

No comments yet.