19
IRUS Total
Downloads
  Altmetric

A Simple Abstraction for Complex Concurrent Indexes

File Description SizeFormat 
splash2011.pdfAccepted version743.97 kBAdobe PDFView/Open
Title: A Simple Abstraction for Complex Concurrent Indexes
Authors: Pinto, PDR
Dinsdale-Young, T
Dodds, M
Gardner, P
Wheelhouse, M
Item Type: Journal Article
Issue Date: 1-Oct-2011
Date of Acceptance: 1-Oct-2011
URI: http://hdl.handle.net/10044/1/25990
DOI: https://dx.doi.org/10.1145/2076021.2048131
ISSN: 1523-2867
Publisher: Association for Computing Machinery (ACM)
Start Page: 845
End Page: 864
Journal / Book Title: ACM Sigplan Notices
Volume: 46
Issue: 10
Copyright Statement: © ACM, 2011. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices - OOPSLA '11 Volume 46 Issue 10, October 2011. https://dx.doi.org/10.1145/2076021.2048131
Keywords: Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
COMPUTER SCIENCE, SOFTWARE ENGINEERING
Algorithms
Theory
Verification
Concurrency
Indexes
B-Trees
Separation Logic
Publication Status: Published
Appears in Collections:Computing
Faculty of Engineering