Open AccessVerification for Multithreaded Java Code using Java Memory Model
Author(s) -
Min Lee,
Gi-Hwon Kwon
Publication year - 2008
Publication title -
the kips transactions partd
Language(s) - Uncategorized
Resource type - Journals
ISSN - 1598-2866
DOI - 10.3745/kipstd.2008.15-d.1.99
Subject(s) - computer science , java , programming language , compiler , java concurrency , parallel computing , memory model , java modeling language , java annotation , real time java , code (set theory) , operating system , shared memory , set (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom