Soft contract verification

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

zbMATH Keywords

symbolic executionhigher-order contracts

Mathematics Subject Classification ID

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