{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:56Z","timestamp":1725664976748},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540642992"},{"type":"electronic","value":"9783540697190"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64299-4_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:36:36Z","timestamp":1330281396000},"page":"402-417","source":"Crossref","is-referenced-by-count":1,"title":["Verifying a compiler optimization for multi-threaded Java"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Reus","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[]},{"given":"Pietro","family":"Cenciarelli","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"23_CR1","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading, Mass., 1996."},{"key":"23_CR2","series-title":"Lect. Notes Comp. Sci.","volume-title":"Proc. 6th Int. Conf. Algebraic Methodology and Software Technology","author":"P. Cenciarelli","year":"1997","unstructured":"Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. In Proc. 6\n\n th\n \nInt. Conf. Algebraic Methodology and Software Technology, Lect. Notes Comp. Sci., Berlin, 1997. Springer. To appear."},{"key":"23_CR3","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, Mass., 1996."},{"key":"23_CR4","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"1997","unstructured":"Doug Lea. Concurrent Programming in Java. Addison-Wesley, Reading, Mass., 1997."},{"unstructured":"Gordon D. Plotkin. Structural Operational Semantics (Lecture notes). Technical Report DAIMI FN-19, Aarhus University, 1981 (repr. 1991).","key":"23_CR5"},{"key":"23_CR6","series-title":"Lect. Notes Comp. Sci.","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1988","unstructured":"Glynn Winskel. An Introduction to Event Structures. In Jacobus W. de Bakker, editor, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency,, volume 354 of Lect. Notes Comp. Sci., Berlin, 1988. Springer."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64299-4_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:45:13Z","timestamp":1619559913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64299-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540642992","9783540697190"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-64299-4_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}