Publications

Verification of Snapshot Isolation in Transactional Memory Java Programs

AuthID
P-008-BR7

Author(s)

Dias, RJ

Distefano, D

Seco, JC

Lourenco, JM

Editor(s)

Noble,J

Document Type

Proceedings Paper

Year published

2012

Published

in ECOOP 2012 - OBJECT-ORIENTED PROGRAMMING in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7313, Pages: 640-664 (25)

Conference

26Th European Conference on Object-Oriented Programming (Ecoop), Date: JUN 11-16, 2012, Location: Beijing, PEOPLES R CHINA, Sponsors: Purdue Univ, Comp Sci Dept, Assoc Int Technol Objets, ACM SIGPLAN, ACM SIGSOFT, Adobe, ORACLE, Microsoft Res, LOGICBLOX, IBM Res, vmware

Indexing