×

Found 2 Documents (Results 1–2)

Iris: monoids and invariants as an orthogonal basis for concurrent reasoning. (English) Zbl 1346.68135

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 637-650 (2015).
MSC:  68Q85 03B70 68Q60
PDFBibTeX XMLCite
Full Text: DOI

A separation logic for refining concurrent objects. (English) Zbl 1284.68207

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 247-258 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Year of Publication

Main Field