Please use this identifier to cite or link to this item: https://doi.org/10.1145/1512475.1512478
Title: Java memory model aware software validation
Authors: De, A.
Roychoudhury, A. 
D'Souza, D.
Issue Date: 2008
Source: De, A.,Roychoudhury, A.,D'Souza, D. (2008). Java memory model aware software validation. ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : 8-14. ScholarBank@NUS Repository. https://doi.org/10.1145/1512475.1512478
Abstract: The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "commit sequences" (roughly, the order in which actions in the execution are committed). In this work, we develop OpMM, an operational under-approximation of the JMM. The immediate motivation of this work lies in integrating a formal specification of the JMM with software model checkers. We show how our operational memory model description can be integrated into a Java Path Finder (JPF) style model checker for Java programs. Copyright 2008 ACM.
Source Title: ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/42094
ISBN: 9781605583822
DOI: 10.1145/1512475.1512478
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

11
checked on Dec 13, 2017

Page view(s)

99
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.