Sound and complete models of contracts

DOI10.1017/S0956796806005971zbMATH Open1122.68019OpenAlexW2092351491MaRDI QIDQ5482278FDOQ5482278

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (14)

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

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)