Temporal higher-order contracts

DOI10.1145/2034773.2034800MaRDI QIDQ5176974zbMATH OpenOpenAlexFDO

Authors Tim Disney, Cormac Flanagan, Jay McCarthy

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2034773.2034800

zbMATH Keywords

higher-order programmingtemporal contracts

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Correct blame for contracts, no more scapegoating
• Soft contract verification
• Complete monitors for behavioral contracts
• Compliance in behavioural contracts: a brief survey
• Contracts for higher-order functions

Cited in

(7)

• An extended account of contract monitoring strategies as patterns of communication
• Blame and coercion: Together again for the first time
• Gradual type-and-effect systems
• Higher order symbolic execution for contract verification and refutation
• Correct blame for contracts, no more scapegoating
• Session-typed concurrent contracts
• A temporal logic for higher-order functional programs

This page was built for publication: Temporal higher-order contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176974)