Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

11-7-2010

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

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.

Share

COinS
 

Date Posted: 23 July 2012