{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:10Z","timestamp":1772164030514,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,12,2]],"date-time":"2012-12-02T00:00:00Z","timestamp":1354406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,12,2]]},"DOI":"10.1145\/2402676.2402685","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T12:08:34Z","timestamp":1354190914000},"page":"15-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Tutorial overview"],"prefix":"10.1145","author":[{"given":"Kelvin","family":"Nilsen","sequence":"first","affiliation":[{"name":"Atego Systems, San Diego, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Prentice Hall PTR.","author":"Arnold K.","year":"2005"},{"key":"e_1_3_2_1_2_1","unstructured":"K. Nilsen Differentiating Features of the PERC Virtual Machine http:\/\/www.aonix.com\/pdf\/PERCWhitePaper_e.pdf  K. Nilsen Differentiating Features of the PERC Virtual Machine http:\/\/www.aonix.com\/pdf\/PERCWhitePaper_e.pdf"},{"key":"e_1_3_2_1_3_1","unstructured":"G. Bollella B. Brosgol J. Gosling P. Dibble S. Furr M. Turnbull The Real-Time Specification for Java Addison Wesley Longman 195 pages Jan. 15 2000.  G. Bollella B. Brosgol J. Gosling P. Dibble S. Furr M. Turnbull The Real-Time Specification for Java Addison Wesley Longman 195 pages Jan. 15 2000."},{"key":"e_1_3_2_1_4_1","volume-title":"Atego White Paper","author":"Nilsen K.","year":"2004"},{"key":"e_1_3_2_1_5_1","first-page":"101","volume-title":"Proceedings of the IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)","author":"Pizlo F.","year":"2004"},{"key":"e_1_3_2_1_6_1","unstructured":"J Consortium Inc. International J Consortium Specification: Real-Time Core Extensions 2000.  J Consortium Inc. International J Consortium Specification: Real-Time Core Extensions 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Marie Curie Fellowship Association","author":"Puschner P.","year":"2003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583825"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2007.9"},{"key":"e_1_3_2_1_10_1","unstructured":"Meeting minutes notes and preliminary materials related to an early draft specification for safety-critical Java available at http:\/\/research.aonix.com\/jsc\/index.html.  Meeting minutes notes and preliminary materials related to an early draft specification for safety-critical Java available at http:\/\/research.aonix.com\/jsc\/index.html."},{"key":"e_1_3_2_1_11_1","unstructured":"PERC Pico User Manual Apr. 19 2008 available at http:\/\/research.aonix.com\/jsc\/pico-manual.4--19-08.pdf.  PERC Pico User Manual Apr. 19 2008 available at http:\/\/research.aonix.com\/jsc\/pico-manual.4--19-08.pdf."},{"key":"e_1_3_2_1_12_1","unstructured":"D. Locke B. S. Andersen B. Brosgol M. Fulton T. Henties J. Hunt J. Nielsen K. Nilsen M. Schoeberl J. Tokar J. Vitek A. Wellings. Safety-Critical Java Technology Specification Public Draft version 0.78 Oct. 2010 available at http:\/\/www.jcp.org\/en\/jsr\/detail?id=302.  D. Locke B. S. Andersen B. Brosgol M. Fulton T. Henties J. Hunt J. Nielsen K. Nilsen M. Schoeberl J. Tokar J. Vitek A. Wellings. Safety-Critical Java Technology Specification Public Draft version 0.78 Oct. 2010 available at http:\/\/www.jcp.org\/en\/jsr\/detail?id=302."},{"key":"e_1_3_2_1_13_1","unstructured":"P. van der Linden. Just Java 2 Sixth Edition.816 pages. Sun Microsystems Press Prentice Hall. 2004.   P. van der Linden. Just Java 2 Sixth Edition.816 pages. Sun Microsystems Press Prentice Hall. 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"Conference Proceedings: Embedded Real-Time Software and Systems","author":"Richard-Foy M.","year":"2010"},{"key":"e_1_3_2_1_15_1","volume-title":"Conference Proceedings System and Software Technology Conference","author":"Durbin J.","year":"2011"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1288940.1288943"}],"event":{"name":"HILT'12: ACM SIGAda Annual","location":"Boston Massachusetts USA","acronym":"HILT'12","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2012 ACM conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402685","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2402676.2402685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:12Z","timestamp":1750225692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402685"}},"subtitle":["understanding dynamic memory management in safety critical java"],"short-title":[],"issued":{"date-parts":[[2012,12,2]]},"references-count":16,"alternative-id":["10.1145\/2402676.2402685","10.1145\/2402676"],"URL":"https:\/\/doi.org\/10.1145\/2402676.2402685","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2402709.2402685","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,12,2]]},"assertion":[{"value":"2012-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}