Behavioral software contracts

Robert Findler*

*Corresponding author for this work

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 languageEnglish (US)
Title of host publicationICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming
PublisherAssociation for Computing Machinery
Pages137-138
Number of pages2
ISBN (Print)9781450328739
DOIs
StatePublished - 2014
Event19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014 - Gothenburg, Sweden
Duration: Sep 1 2014 → Sep 3 2014

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014
CountrySweden
CityGothenburg
Period9/1/14 → 9/3/14

Keywords

  • contracts

ASJC Scopus subject areas

  • Software

Access to Document

Other files and links

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

Cite this