This project is read-only.
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

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


No comments yet.