The ramifications of sharing in data structures
10.1145/2429069.2429131
Saved in:
Main Authors: | Hobor, A., Villard, J. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40829 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Constraint-based program reasoning with heaps and separation
by: Duck, G.J., et al.
Published: (2014) -
Barriers in concurrent separation logic: Now with tool support!
by: Hobor, A., et al.
Published: (2013) -
Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
by: Mohan, Anshuman, et al.
Published: (2022) -
Automated Verification of Complete Specification with Shape Inference
by: LE QUANG LOC
Published: (2014) -
Logical reasoning for disjoint permissions
by: Le X.-B., et al.
Published: (2020)