There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 18

Record: found
Abstract: not found
Conference Proceedings: not found

Local Action and Abstract Separation Logic

Peter O'Hearn, Hongseok Yang, Cristiano Calcagno (2007)

0 comments Cited 27 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

First-Class Type Classes

Matthieu Sozeau, Nicolas Oury (2008)

0 comments Cited 26 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Fresh Look at Separation Algebras and Share Accounting

Robert Dockins, Aquinas Hobor, Andrew Appel (2009)

0 comments Cited 17 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): August 19 2015

Pages: 375-390

DOI: 10.1007/978-3-319-22102-1_25

SO-VID: 8db71c23-2e64-4e88-88c5-f30062fb16a8

History

Data availability:

ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages

Read this book at

Related collections

Smart Contracts Programming Languages

Most cited references 18

Local Action and Abstract Separation Logic

First-Class Type Classes

A Fresh Look at Separation Algebras and Share Accounting

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,955