Correct blame for contracts, no more scapegoating

DOI10.1145/1926385.1926410zbMATH Open1284.68176OpenAlexW4247948196MaRDI QIDQ5408545FDOQ5408545

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

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

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)

Cited In (10)

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

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)