Sound and complete models of contracts

DOI10.1017/S0956796806005971zbMath1122.68019OpenAlexW2092351491MaRDI QIDQ5482278

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)

Related Items (5)

Space-efficient gradual typing ⋮ Contracts made manifest ⋮ The interaction of contracts and laziness ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ Blame and coercion: Together again for the first time

Uses Software

• DrScheme

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