Verification of Snapshot Isolation in Transactional Memory Java Programs

First Author: Dias R
Attributed to:  jStar: making java verification practical funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-31057-7_28

Publication URI: http://dx.doi.org/10.1007/978-3-642-31057-7_28

Type: Book Chapter

Book Title: ECOOP 2012 - Object-Oriented Programming (2012)

Page Reference: 640-664

ISBN: 978-3-642-31056-0

ISSN: 1436-3798