Correct blame for contracts, no more scapegoating

DOI10.1145/1926385.1926410MaRDI QIDQ5408545zbMATH OpenOpenAlexFDO

Authors Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen

Publication date 10 April 2014

Published in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

behavioral contractsblame assignmenthigher-order programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Complete monitors for behavioral contracts
• Blame assignment for higher-order contracts with intersection and union
• Contracts as Pairs of Projections
• Soft contract verification
• Temporal higher-order contracts

Cited in

(10)

• Complete monitors for behavioral contracts
• Temporal higher-order contracts
• Blame and coercion: Together again for the first time
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Session-typed concurrent contracts
• Higher order symbolic execution for contract verification and refutation
• Executable contracts for Elixir
• Modular set-based analysis from contracts
• An extended account of contract monitoring strategies as patterns of communication
• Blame assignment for higher-order contracts with intersection and union

Describes a project that uses

Uses Software

• Eiffel
• PLT Redex

This page was built for publication: Correct blame for contracts, no more scapegoating

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