Soft contract verification

@inproceedings{Nguyen2014SoftCV,
  title={Soft contract verification},
  author={Phuc C. Nguyen and Sam Tobin-Hochstadt and David Van Horn},
  booktitle={ICFP},
  year={2014}
}
Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes significant overhead and delays discovery of faulty components to run-time. To overcome these issues, we present soft contract verification, which aims to statically prove either complete or partial contract correctness of components, written in an untyped, higher-order language with first-class contracts. Our approach… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
Related Discussions
This paper has been referenced on Twitter 55 times. VIEW TWEETS

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

Similar Papers

Loading similar papers…