Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Functional Programming"
DOI: 10.1017/s0956796818000151
Abstract: Iris is a framework for higher-order concurrent separation logic, which has been implemented in the Coq proof assistant and deployed very effectively in a wide variety of verification projects. Iris was designed with the express… read more here.
Keywords: order concurrent; separation logic; higher order; separation ... See more keywords