The ramifications of sharing in data structures
10.1145/2429069.2429131
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| 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 |
| id |
sg-nus-scholar.10635-40829 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-408292015-01-08T14:16:11Z The ramifications of sharing in data structures Hobor, A. Villard, J. COMPUTER SCIENCE aliasing heap/shape modularity separation logic 10.1145/2429069.2429131 Conference Record of the Annual ACM Symposium on Principles of Programming Languages 523-536 CRLAD 2013-07-04T08:13:19Z 2013-07-04T08:13:19Z 2013 Conference Paper Hobor, A.,Villard, J. (2013). The ramifications of sharing in data structures. Conference Record of the Annual ACM Symposium on Principles of Programming Languages : 523-536. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2429069.2429131" target="_blank">https://doi.org/10.1145/2429069.2429131</a> 9781450318327 07308566 http://scholarbank.nus.edu.sg/handle/10635/40829 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| topic |
aliasing heap/shape modularity separation logic |
| spellingShingle |
aliasing heap/shape modularity separation logic Hobor, A. Villard, J. The ramifications of sharing in data structures |
| description |
10.1145/2429069.2429131 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Hobor, A. Villard, J. |
| format |
Conference or Workshop Item |
| author |
Hobor, A. Villard, J. |
| author_sort |
Hobor, A. |
| title |
The ramifications of sharing in data structures |
| title_short |
The ramifications of sharing in data structures |
| title_full |
The ramifications of sharing in data structures |
| title_fullStr |
The ramifications of sharing in data structures |
| title_full_unstemmed |
The ramifications of sharing in data structures |
| title_sort |
ramifications of sharing in data structures |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40829 |
| _version_ |
1681082335245631488 |