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...

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of functional programming Ročník 28; číslo e20
Hlavní autoři:	JUNG, RALF, KREBBERS, ROBBERT, JOURDAN, JACQUES-HENRI, BIZJAK, ALEŠ, BIRKEDAL, LARS, DREYER, DEREK
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 2018 Cambridge University Press (CUP)
Témata:	Computer Science ICFP 2016 Logic in Computer Science Programming Languages Regular Paper
ISSN:	0956-7968, 1469-7653
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!