DMCA
Future Contracts (2009)
| Citations: | 5 - 0 self |
BibTeX
@MISC{Dimoulas09futurecontracts,
author = {Christos Dimoulas and Riccardo Pucella and Matthias Felleisen},
title = {Future Contracts},
year = {2009}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as procedures, classes, or modules. Contracts primarily help locate bugs in programs, but they also tend to affect the performance of the program, especially as they become complex. In this paper, we introduce future contracts and parallel contract checking: software contracts annotated with future are checked in parallel with the main program, exploiting the nowcommon multiple-core architecture. We present both a model and a prototype implementation of our language design. Our model comprises a higher-order imperative language and we use it to prove the correctness of our design. Our implementation is robust enough to measure the performance of reasonably large benchmarks, demonstrating that the use of future contracts can lead to significant performance improvements.
Keyphrases
future contract large benchmark many recent research project nowcommon multiple-core architecture main program prototype implementation software contract higher-order imperative language behavioral software contract language design significant performance improvement parallel contract checking language support
