Freefinement
From MaRDI portal
Publication:2942853
DOI10.1145/2103656.2103661zbMath1321.68209OpenAlexW4249576868MaRDI QIDQ2942853
Bertrand Meyer, Stephan van Staden, Cristiano Calcagno
Publication date: 11 September 2015
Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2103656.2103661
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Freefinement
