Contracts for Higher-Order Functions (2002)
Cached
Download Links
- [people.cs.uchicago.edu]
- [people.cs.uchicago.edu]
- [www.cs.uchicago.edu]
- [www.ece.northwestern.edu]
- [www.ccs.neu.edu]
- DBLP
Other Repositories/Bibliography
by
Robert Bruce Findler
,
Matthias Felleisen
| Citations: | 84 - 11 self |
BibTeX
@MISC{Findler02contractsfor,
author = {Robert Bruce Findler and Matthias Felleisen},
title = {Contracts for Higher-Order Functions},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Assertions play an important role in the construction of robust software. Their use in programming languages dates back to the 1970s. Eiffel, an object-oriented programming language, wholeheartedly adopted assertions and developed the "Design by Contract" philosophy. Indeed, the entire object-oriented community recognizes the value of assertion-based contracts on methods.
