Reference

2013
Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
Sam Blackshear and Shuvendu Lahiri
PLDI 2013: ACM SIGPLAN Conference on Programming Language Design and Implementation

Abstract

BibTeX

@string{PLDI = "ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)"}
@inproceedings{acspec-pldi13,
  author = {Sam BlackshearShuvendu Lahiri},
  title = {Almost-Correct Specifications: A Modular Semantic
      Framework for Assigning Confidence to Warnings},
  booktitle = PLDI,
  year = {2013},
}