Behavioral software contracts

Robert Findler

doi:10.1145/2628136.2632855

Behavioral software contracts

Robert Findler^*

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming
Publisher	Association for Computing Machinery
Pages	137-138
Number of pages	2
ISBN (Print)	9781450328739
DOIs	https://doi.org/10.1145/2628136.2632855
State	Published - 2014
Event	19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014 - Gothenburg, Sweden Duration: Sep 1 2014 → Sep 3 2014

Publication series

Name	Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other	19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014
Country	Sweden
City	Gothenburg
Period	9/1/14 → 9/3/14

Keywords

contracts

ASJC Scopus subject areas

Software

Access to Document

10.1145/2628136.2632855

Fingerprint Dive into the research topics of 'Behavioral software contracts'. Together they form a unique fingerprint.

Cite this

Findler, R. (2014). Behavioral software contracts. In ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming (pp. 137-138). (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP). Association for Computing Machinery. https://doi.org/10.1145/2628136.2632855

@inproceedings{c34ebb9f1aa646489982948033c1437e,

title = "Behavioral software contracts",

abstract = "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.",

keywords = "contracts",

author = "Robert Findler",

year = "2014",

doi = "10.1145/2628136.2632855",

language = "English (US)",

isbn = "9781450328739",

series = "Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP",

publisher = "Association for Computing Machinery",

pages = "137--138",

booktitle = "ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming",

note = "19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014 ; Conference date: 01-09-2014 Through 03-09-2014",

}

Findler, R 2014, Behavioral software contracts. in ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, Association for Computing Machinery, pp. 137-138, 19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014, Gothenburg, Sweden, 9/1/14. https://doi.org/10.1145/2628136.2632855

Behavioral software contracts. / Findler, Robert.

ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery, 2014. p. 137-138 (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 -