{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:24Z","timestamp":1750307064790,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T00:00:00Z","timestamp":1351036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Danish Research Council for Technology and Production Sciences","award":["10-083159"],"award-info":[{"award-number":["10-083159"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,24]]},"DOI":"10.1145\/2388936.2388939","type":"proceedings-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T18:44:56Z","timestamp":1351104296000},"page":"9-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Private memory allocation analysis for safety-critical Java"],"prefix":"10.1145","author":[{"given":"Andreas E.","family":"Dalsgaard","sequence":"first","affiliation":[{"name":"Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 Rydhof","family":"Hansen","sequence":"additional","affiliation":[{"name":"Aalborg University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schoeberl","sequence":"additional","affiliation":[{"name":"University of Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"24","volume-title":"CrossTalk Magazine","author":"Amey P.","year":"2002"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Bollella J.\n       \n      Gosling B.\n       \n      Brosgol P.\n       \n      Dibble S.\n       \n      Furr and \n      \n      \n      M.\n       \n      Turnbull\n      \n  \n  . \n  The Real-Time Specification for Java\n  . \n  Java Series\n  . \n  Addison-Wesley June \n  2000\n  .   G. Bollella J. Gosling B. Brosgol P. Dibble S. Furr and M. Turnbull. The Real-Time Specification for Java . Java Series. Addison-Wesley June 2000.","DOI":"10.1109\/2.846318"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Cavalcanti A.\n       \n      Wellings and \n      \n      \n      J.\n       \n      Woodcock\n      \n  \n  . \n  The safety-critical Java memory model: A formal account. In M. Butler and W. Schulte editors FM 2011: Formal Methods volume \n  6664\n   of \n  Lecture Notes in Computer Science pages \n  246\n  --\n  261\n  . \n  Springer Berlin\/Heidelberg 2011\n  .   A. Cavalcanti A. Wellings and J. Woodcock. The safety-critical Java memory model: A formal account. In M. Butler and W. Schulte editors FM 2011: Formal Methods volume 6664 of Lecture Notes in Computer Science pages 246--261. Springer Berlin\/Heidelberg 2011.","DOI":"10.1007\/978-3-642-21437-0_20"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043916"},{"key":"e_1_3_2_1_5_1","unstructured":"D. Locke B. S. Andersen B. Brosgol M. Fulton T. Henties J. J. Hunt J. O. Nielsen K. Nilsen M. Schoeberl J. Tokar J. Vitek and A. Wellings. Safety-critical Java technology specification public draft 2011.  D. Locke B. S. Andersen B. Brosgol M. Fulton T. Henties J. J. Hunt J. O. Nielsen K. Nilsen M. Schoeberl J. Tokar J. Vitek and A. Wellings. Safety-critical Java technology specification public draft 2011."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168017"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2012.13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043919"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2388936.2388946"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167999.1168025"},{"key":"e_1_3_2_1_11_1","unstructured":"H. S\u00f8ndergaard. SCJ implementation using RTSJ. http:\/\/it-engineering.dk\/HSO\/PJ\/index.html.  H. S\u00f8ndergaard. SCJ implementation using RTSJ. http:\/\/it-engineering.dk\/HSO\/PJ\/index.html."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2388936.2388949"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1850771.1850792"},{"key":"e_1_3_2_1_14_1","unstructured":"T.J. Watson libraries for analysis (WALA). http:\/\/wala.sf.net\/.  T.J. Watson libraries for analysis (WALA). http:\/\/wala.sf.net\/."}],"event":{"name":"JTRES '12: The 10th International Workshop on Java Technologies for Real-time and Embedded Systems","acronym":"JTRES '12","location":"Copenhagen Denmark"},"container-title":["Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2388936.2388939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:21Z","timestamp":1750238481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2388936.2388939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,24]]},"references-count":14,"alternative-id":["10.1145\/2388936.2388939","10.1145\/2388936"],"URL":"https:\/\/doi.org\/10.1145\/2388936.2388939","relation":{},"subject":[],"published":{"date-parts":[[2012,10,24]]},"assertion":[{"value":"2012-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}