Correct blame for contracts

DOI10.1145/1926385.1926410zbMath1284.68176OpenAlexW4247948196MaRDI QIDQ5408545

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

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

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

Related Items (5)

An extended account of contract monitoring strategies as patterns of communication ⋮ Higher order symbolic execution for contract verification and refutation ⋮ A Principled Approach to Tracking Information Flow in the Presence of Libraries ⋮ Session-typed concurrent contracts ⋮ Blame and coercion: Together again for the first time

Uses Software

• Eiffel
• PLT Redex

This page was built for publication: Correct blame for contracts