Temporal higher-order contracts

@inproceedings{Disney2011TemporalHC,
  title={Temporal higher-order contracts},
  author={Tim Disney and Cormac Flanagan and Jay McCarthy},
  booktitle={ICFP},
  year={2011}
}
Behavioral contracts are embraced by software engineers because they document module interfaces, detect interface violations, and help identify faulty modules (packages, classes, functions, etc). This paper extends prior higher-order contract systems to also express and enforce temporal properties, which are common in software systems with imperative state, but which are mostly left implicit or are at best informally specified. The paper presents both a programmatic contract API as well as a… CONTINUE READING
Highly Cited
This paper has 52 citations. REVIEW CITATIONS

Topics

Statistics

01020201020112012201320142015201620172018
Citations per Year

52 Citations

Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.