Complete Monitors for Behavioral Contracts

DOI10.1007/978-3-642-28869-2_11zbMath1352.68031OpenAlexW2218092420MaRDI QIDQ2892729

Matthias Felleisen, Christos Dimoulas, Sam Tobin-Hochstadt

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

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

Related Items (6)

An extended account of contract monitoring strategies as patterns of communication ⋮ Sound and complete concolic testing for higher-order functions ⋮ The interaction of contracts and laziness ⋮ How to evaluate the performance of gradual type systems ⋮ Session-typed concurrent contracts ⋮ Blame and coercion: Together again for the first time

This page was built for publication: Complete Monitors for Behavioral Contracts