Sound and complete models of contracts

DOI10.1017/S0956796806005971MaRDI QIDQ5482278zbMATH OpenOpenAlexFDO

Authors Matthias Blume, David Allen McAllester

Publication date 28 August 2006

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796806005971

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• A sound (and complete) model of contracts
• Polymorphic contracts
• Contracts made manifest
• Contracts made manifest
• Contracts as Pairs of Projections

Cited in

(14)

• Relational contracts and the first-order approach
• Contracts as Pairs of Projections
• Blame and coercion: Together again for the first time
• A sound (and complete) model of contracts
• Combining static and dynamic contract checking for Curry
• Modular set-based analysis from contracts
• Debugging Maude programs via runtime assertion checking and trace slicing
• Contractive signatures with recursive types, type parameters, and abstract types
• Contracts made manifest
• INCOMPLETE CONTRACTS MODELLING
• Polymorphic contracts
• The interaction of contracts and laziness
• Space-efficient gradual typing
• Combining static and dynamic contract checking for Curry

Describes a project that uses

Uses Software

• DrScheme

This page was built for publication: Sound and complete models of contracts

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