{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T16:21:15Z","timestamp":1789748475917,"version":"4.0.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705918","type":"print"},{"value":"9783540705925","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70592-5_3","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"27-51","source":"Crossref","is-referenced-by-count":121,"title":["On Validity of Program Transformations in the Java Memory Model"],"prefix":"10.1007","author":[{"given":"Jaroslav","family":"\u0160ev\u010d\u00edk","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Aspinall","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Adve, S.: The SC- memory model for Java (2004), \n                    \n                      http:\/\/www.cs.uiuc.edu\/~sadve\/jmm"},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/71.242161","volume":"4","author":"S.V. Adve","year":"1993","unstructured":"Adve, S.V., Aggarwal, J.K.: A unified formalization of four shared-memory models. IEEE Trans. Parallel Distrib. Syst.\u00a04(6), 613\u2013624 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"12","key":"3_CR3","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/2.546611","volume":"29","author":"S.V. Adve","year":"1996","unstructured":"Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. Computer\u00a029(12), 66\u201376 (1996)","journal-title":"Computer"},{"key":"3_CR4","volume-title":"Compilers: principles, techniques, and tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc, Boston (1986)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-74591-4_4","volume-title":"Theorem Proving in Higher Order Logics","author":"D. Aspinall","year":"2007","unstructured":"Aspinall, D., \u0160ev\u010d\u00edk, J.: Formalising Java\u2019s data race free guarantee. In: Schneider, K., Brandt, J. (eds.) TPHOLs 2007. LNCS, vol.\u00a04732, pp. 22\u201337. Springer, Heidelberg (2007)"},{"key":"3_CR6","unstructured":"Aspinall, D., \u0160ev\u010d\u00edk, J.: Java memory model examples: Good, bad and ugly. Technical Report EDI-INF-RR-1121, School of Informatics, University of Edinburgh (2007)"},{"issue":"1-3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.tcs.2006.12.034","volume":"375","author":"S. Brookes","year":"2007","unstructured":"Brookes, S.: A semantics for concurrent separation logic. Theor. Comput. Sci.\u00a0375(1-3), 227\u2013270 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR8","first-page":"98","volume-title":"LICS","author":"S.D. Brookes","year":"1993","unstructured":"Brookes, S.D.: Full abstraction for a shared variable parallel language. In: LICS, pp. 98\u2013109. IEEE Computer Society, Los Alamitos (1993)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_23","volume-title":"Programming Languages and Systems","author":"P. Cenciarelli","year":"2007","unstructured":"Cenciarelli, P., Knapp, A., Sibilio, E.: The Java memory model: Operationally, denotationally, axiomatically. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421. Springer, Heidelberg (2007)"},{"issue":"6","key":"3_CR10","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1145\/223428.207154","volume":"30","author":"C. Click","year":"1995","unstructured":"Click, C.: Global code motion\/global value numbering. SIGPLAN Not.\u00a030(6), 246\u2013257 (1995)","journal-title":"SIGPLAN Not."},{"key":"3_CR11","series-title":"Java Series","first-page":"557","volume-title":"Threads and Locks","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java(TM) Language Specification. In: Threads and Locks, 3rd edn. Java Series, pp. 557\u2013573. Addison-Wesley Professional, Reading (2005)","edition":"3"},{"key":"3_CR12","unstructured":"Intel. A formal specification of Intel Itanium processor family memory ordering (2002), \n                    \n                      http:\/\/www.intel.com\/design\/itanium\/downloads\/251429.htm"},{"key":"3_CR13","unstructured":"Intel. Intel 64 architecture memory ordering white paper (2007), \n                    \n                      http:\/\/www.intel.com\/products\/processor\/manuals\/318147.pdf"},{"issue":"1-3","key":"3_CR14","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.tcs.2004.10.012","volume":"338","author":"A. Jeffrey","year":"2005","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. Theor. Comput. Sci.\u00a0338(1-3), 17\u201363 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR15","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"K. Kennedy","year":"2002","unstructured":"Kennedy, K., Allen, J.R.: Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco (2002)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/353171.353172","volume-title":"OOPSLA","author":"J.-W. Maessen","year":"2000","unstructured":"Maessen, J.-W., Shen, X.: Improving the Java memory model using CRF. In: OOPSLA, pp. 1\u201312. ACM Press, New York (2000)"},{"key":"3_CR17","unstructured":"Manson, J.: The Java memory model. PhD thesis, University of Maryland, College Park (2004)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/1040305.1040336","volume-title":"POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages","author":"J. Manson","year":"2005","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The Java memory model. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pp. 378\u2013391. ACM Press, New York (2005)"},{"key":"3_CR19","unstructured":"Paleczny, M., Vick, C., Click, C.: The Java Hotspot(TM) server compiler. In: USENIX Java(TM) Virtual Machine Research and Technology Symposium (April 2001)"},{"issue":"6","key":"3_CR20","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1002\/1096-9128(200005)12:6<445::AID-CPE484>3.0.CO;2-A","volume":"12","author":"W. Pugh","year":"2000","unstructured":"Pugh, W.: The Java memory model is fatally flawed. Concurrency - Practice and Experience\u00a012(6), 445\u2013455 (2000)","journal-title":"Concurrency - Practice and Experience"},{"key":"3_CR21","unstructured":"Pugh, W., Manson, J.: Java memory model causality test cases (2004), \n                    \n                      http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/CausalityTestCases.html"},{"key":"3_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-540-30538-5_4","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"J.C. Reynolds","year":"2004","unstructured":"Reynolds, J.C.: Toward a grainless semantics for shared-variable concurrency. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, pp. 35\u201348. Springer, Heidelberg (2004)"},{"key":"3_CR23","volume-title":"ACM 2007 SIGPLAN Conference on Principles and Practice of Parallel Computing","author":"V. Saraswat","year":"2007","unstructured":"Saraswat, V., Jagadeesan, R., Michael, M., von Praun, C.: A theory of memory models. In: ACM 2007 SIGPLAN Conference on Principles and Practice of Parallel Computing. ACM Press, New York (2007)"},{"key":"3_CR24","unstructured":"Sparc International. Sparc architecture manual, version 9 (2000), \n                    \n                      http:\/\/developers.sun.com\/solaris\/articles\/sparcv9.html"},{"key":"3_CR25","unstructured":"\u0160ev\u010d\u00edk, J.: The Sun Hotspot JVM does not conform with the Java memory model. Technical Report EDI-INF-RR-1252, School of Informatics, University of Edinburgh (2008)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2008 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70592-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:23:59Z","timestamp":1620015839000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70592-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705918","9783540705925"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70592-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}