Conference proceeding
Language-based verification will change the world
Proceedings of the FSE/SDP workshop on future of software engineering research, pp.343-348
FoSER '10
11/07/2010
DOI: 10.1145/1882362.1882432
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.
Details
- Title: Subtitle
- Language-based verification will change the world
- Creators
- Tim Sheard - Portland State UniversityAaron Stump - University of IowaStephanie Weirich - University of Pennsylvania
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of the FSE/SDP workshop on future of software engineering research, pp.343-348
- Series
- FoSER '10
- DOI
- 10.1145/1882362.1882432
- Publisher
- ACM
- Language
- English
- Date published
- 11/07/2010
- Academic Unit
- Computer Science
- Record Identifier
- 9984259436002771
Metrics
12 Record Views