Iris from the ground up: A modular foundation for higher-order concurrent separation logic

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 goal of simplifying and consolidating the foundations of modern separat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of functional programming 2018, Vol.28 (e20), Article e20
Hauptverfasser:	JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science ICFP 2016 Logic in Computer Science Programming Languages Regular Paper
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!