Space-Efficient Manifest Contracts

DOI10.1145/2676726.2676967zbMath1345.68054arXiv1410.2813OpenAlexW2073686054MaRDI QIDQ2819803

Michael Greenberg

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.2813

zbMATH Keywords

contractscoercionsspace efficiencypost-conditionspre-conditionsfunction proxy

Mathematics Subject Classification ID

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

Related Items (4)

An extended account of contract monitoring strategies as patterns of communication ⋮ How to evaluate the performance of gradual type systems ⋮ Blame and coercion: Together again for the first time ⋮ Gradual type theory

This page was built for publication: Space-Efficient Manifest Contracts