Soft contract verification
From MaRDI portal
Publication:2819673
DOI10.1145/2628136.2628156zbMath1346.68062arXiv1307.6239OpenAlexW3099703838MaRDI QIDQ2819673
David A. Vanhorn, Phúc C. Nguyen, Sam Tobin-Hochstadt
Publication date: 29 September 2016
Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.6239
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
An extended account of contract monitoring strategies as patterns of communication, Higher order symbolic execution for contract verification and refutation, Modular Verification of Higher-Order Functional Programs, How to evaluate the performance of gradual type systems