TY - GEN
T1 - Behavioral software contracts
AU - Findler, Robert
PY - 2014
Y1 - 2014
N2 - Programmers embrace contracts. They can use the language they know and love to formulate logical assertions about the behavior of their programs. They can use the existing IDE infrastructure to log contracts, to test, to debug, and to profile their programs. The keynote presents the challenges and rewards of supporting contracts in a modern, full-spectrum programming language. It covers technical challenges of contracts while demonstrating the non-technical motivation for contract system design choices and showing how contracts and contract research can serve practicing programmers. The remainder of this article is a literature survey of contract research, with an emphasis on recent work about higher-order contracts and blame.
AB - Programmers embrace contracts. They can use the language they know and love to formulate logical assertions about the behavior of their programs. They can use the existing IDE infrastructure to log contracts, to test, to debug, and to profile their programs. The keynote presents the challenges and rewards of supporting contracts in a modern, full-spectrum programming language. It covers technical challenges of contracts while demonstrating the non-technical motivation for contract system design choices and showing how contracts and contract research can serve practicing programmers. The remainder of this article is a literature survey of contract research, with an emphasis on recent work about higher-order contracts and blame.
KW - contracts
UR - http://www.scopus.com/inward/record.url?scp=84907007566&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84907007566&partnerID=8YFLogxK
U2 - 10.1145/2628136.2632855
DO - 10.1145/2628136.2632855
M3 - Conference contribution
AN - SCOPUS:84907007566
SN - 9781450328739
T3 - Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
SP - 137
EP - 138
BT - ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming
PB - Association for Computing Machinery
T2 - 19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014
Y2 - 1 September 2014 through 3 September 2014
ER -