
Departmental Papers (CIS)
Date of this Version
11-7-2010
Document Type
Conference Paper
Recommended Citation
Tim Sheard, Aaron Stump, and Stephanie Weirich, "Language-Based Verification Will Change The World", . November 2010.
Abstract
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We explain how language-based approaches based on so-called dependent types are already being adopted in functional programming languages, and why such methods will be successful for mainstream use, where traditional formal methods have failed.
Date Posted: 23 July 2012
Comments
Tim Sheard, Aaron Stump, and Stephanie Weirich. Language-Based Verification Will Change The World. In 2010 FSE/SDP Workshop on the Future of Software Engineering Research, November 2010. Position paper.
© ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in FSE/SDP Workshop on the Future of Software Engineering Research, {(11/2010)} http://doi.acm.org/10.1145/1882362.1882432" Email permissions@acm.org