Behavioral interface contracts for java Export

@misc{citeulike:4869, abstract = {Programs should consist of off-the-shelf, interchangeable, black-box components that are produced by a network of independent software companies. These components should not only come with type signatures but also with contracts that describe other aspects of their behavior. One way to express contracts is to state pre- and post- conditions for externally visible functions. These pre- and post-conditions should then be validated during evaluation or possibly even during compilation. If a...}, author = {Findler, R. and Felleisen, M.}, citeulike-article-id = {4869}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7879}, keywords = {contracts, honu, oop, plt}, posted-at = {2004-12-23 15:45:50}, title = {Behavioral interface contracts for java}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7879}, year = {2000} }

TY - GEN ID - citeulike:4869 L3 - citeulike-article-id:4869 N2 - Programs should consist of off-the-shelf, interchangeable, black-box components that are produced by a network of independent software companies. These components should not only come with type signatures but also with contracts that describe other aspects of their behavior. One way to express contracts is to state pre- and post- conditions for externally visible functions. These pre- and post-conditions should then be validated during evaluation or possibly even during compilation. If a... TI - Behavioral interface contracts for java KW - contracts KW - honu KW - oop KW - plt AU - Findler, R AU - Felleisen, M PY - 2000/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7879 ER -