Contracts as Pairs of Projections

DOI10.1007/11737414_16MaRDI QIDQ3434635zbMATH OpenOpenAlexFDO

Authors Robert Bruce Findler, Matthias Blume

Publication date 2 May 2007

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11737414_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A sound (and complete) model of contracts
• Contracts for higher-order functions
• Sound and complete models of contracts
• Contracts made manifest
• Contracts made manifest

Cited in

(17)

• An abstract contract theory for programs with procedures
• scientific article; zbMATH DE number 1693442 (Why is no real title available?)
• Contracts for higher-order functions
• Typed Contracts for Functional Programming
• scientific article; zbMATH DE number 1951186 (Why is no real title available?)
• An extended account of contract monitoring strategies as patterns of communication
• Blame and coercion: Together again for the first time
• A sound (and complete) model of contracts
• The interaction of contracts and laziness
• Modular set-based analysis from contracts
• Contracts made manifest
• Correct blame for contracts, no more scapegoating
• Sound and complete models of contracts
• An active learning approach to synthesizing program contracts
• Space-efficient gradual typing
• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• A trace-based model for multiparty contracts

This page was built for publication: Contracts as Pairs of Projections

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