Complete monitors for behavioral contracts

DOI10.1007/978-3-642-28869-2_11MaRDI QIDQ2892729zbMATH OpenOpenAlexFDO

Authors Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Publication date 22 June 2012

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28869-2_11

zbMATH Keywords

behavioral contractscontract checkinghigher-order programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Expressing contract monitors as patterns of communication
• The interaction of contracts and laziness
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• Correct blame for contracts, no more scapegoating
• An extended account of contract monitoring strategies as patterns of communication

Cited in

(10)

• Temporal higher-order contracts
• Correct blame for contracts, no more scapegoating
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• How to evaluate the performance of gradual type systems
• Session-typed concurrent contracts
• An extended account of contract monitoring strategies as patterns of communication
• Sound and complete concolic testing for higher-order functions
• Blame and coercion: Together again for the first time
• Expressing contract monitors as patterns of communication
• The interaction of contracts and laziness

This page was built for publication: Complete monitors for behavioral contracts

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