Refinement through restraint: bringing down the cost of verification. (English) Zbl 1361.68045
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 89-102 (2016).
MSC:
68N18 | Functional programming and lambda calculus |
68N15 | Theory of programming languages |
68N30 | Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) |
68Q55 | Semantics in the theory of computing |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |