A logical mix of approximation and separation
10.1007/978-3-642-17164-2_30
Saved in:
Main Authors: | Hobor, A., Dockins, R., Appel, A.W. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40633 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A theory of indirection via approximation
by: Hobor, A., et al.
Published: (2013) -
A fresh look at separation algebras and share accounting
by: Dockins, R., et al.
Published: (2013) -
A theory of indirection via approximation
by: Hobor, A., et al.
Published: (2013) -
Barriers in concurrent separation logic
by: Hobor, A., et al.
Published: (2013) -
Barriers in concurrent separation logic: Now with tool support!
by: Hobor, A., et al.
Published: (2013)