{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:38Z","timestamp":1725551798185},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308812"},{"type":"electronic","value":"9783540322979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11599555_9","type":"book-chapter","created":{"date-parts":[[2005,11,29]],"date-time":"2005-11-29T13:43:33Z","timestamp":1133271813000},"page":"63-70","source":"Crossref","is-referenced-by-count":1,"title":["Ahead of Time Deployment in ROM of a Java-OS"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Marquet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Courbot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Grimaud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Java In The Small, \n                    \n                      http:\/\/www.lifl.fr\/RD2P\/JITS"},{"issue":"2-3","key":"9_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0167-6423(02)00059-X","volume":"45","author":"D. Rayside","year":"2002","unstructured":"Rayside, D., Kontogiannis, K.: Extracting java library subsets for deployment on embedded systems. Sci. Comput. Program.\u00a045(2-3), 245\u2013270 (2002)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"9_CR3","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1145\/586088.586090","volume":"24","author":"F. Tip","year":"2002","unstructured":"Tip, F., Sweeney, P.F., Laffra, C., Eisma, A., Streeter, D.: Practical extraction techniques for java. ACM Trans. Program. Lang. Syst.\u00a024(6), 625\u2013666 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/780732.780738","volume-title":"LCTES 2003: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems","author":"N. Shaylor","year":"2003","unstructured":"Shaylor, N., Simon, D.N., Bush, W.R.: A java virtual machine architecture for very small devices. In: LCTES 2003: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems, pp. 34\u201341. ACM Press, New York (2003)"},{"key":"9_CR5","unstructured":"Microsystems, S.: Java 2 plateform, micro edition (j2me)"},{"key":"9_CR6","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1996","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1996)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/4236.683797","volume":"2","author":"D. Mulchandani","year":"1998","unstructured":"Mulchandani, D.: Java for embedded systems. IEEE Internet Computing\u00a02(3), 30\u201339 (1998)","journal-title":"IEEE Internet Computing"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1145\/583810.583833","volume-title":"JGI 2002: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande","author":"I. Pechtchanski","year":"2002","unstructured":"Pechtchanski, I., Sarkar, V.: Immutability specification and its applications. In: JGI 2002: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pp. 202\u2013211. ACM Press, New York (2002)"},{"key":"9_CR9","unstructured":"Microsystems, S.: The k virtual machine (kvm) white paper. technical report (1999)"},{"key":"9_CR10","volume-title":"Proc. of PPPJ 2004","author":"C. Rippert","year":"2004","unstructured":"Rippert, C., Courbot, A., Grimaud, G.: A low-footprint class loading mechanism for embedded java virtual machines. i. In: Proc. of PPPJ 2004, ACM Press, New York (2004)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 238\u2013252. ACM Press, New York (1977)"},{"issue":"8","key":"9_CR12","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/859670.859695","volume":"46","author":"F. Tip","year":"2003","unstructured":"Tip, F., Sweeney, P.F., Laffra, C.: Extracting library-based java applications. Commun. ACM\u00a046(8), 35\u201340 (2003)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599555_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:00:47Z","timestamp":1619506847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599555_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308812","9783540322979"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11599555_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}