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

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer

Research output: Contribution to journal › Article › Scientific › peer-review

202 Citations (Scopus)
103 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Iris from the ground up: A modular foundation for higher-order concurrent separation logic'. Together they form a unique fingerprint.

INIS

Engineering