{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:54:37Z","timestamp":1725544477654},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540333111"},{"type":"electronic","value":"9783540333128"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11733447_24","type":"book-chapter","created":{"date-parts":[[2006,3,13]],"date-time":"2006-03-13T05:52:57Z","timestamp":1142229177000},"page":"329-344","source":"Crossref","is-referenced-by-count":1,"title":["A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Courbot","sequence":"first","affiliation":[]},{"given":"Mariela","family":"Pavlova","sequence":"additional","affiliation":[]},{"given":"Gilles","family":"Grimaud","sequence":"additional","affiliation":[]},{"given":"Jean-Jacques","family":"Vandewalle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"24_CR1","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. Internet Computing, IEEE\u00a02(3), 30\u201339 (1998)","journal-title":"Internet Computing, IEEE"},{"key":"24_CR2","unstructured":"Lagosanto, L.: Next-generation embedded java operating system for smart cards. In: 4th Gemplus Developer Conference (2002)"},{"key":"24_CR3","unstructured":"Grimaud, G., Vandewalle, J.-J.: Introducing research issues for next generation Java-based smart card platforms. In: Proc. Smart Objects Conference (sOc 2003), Grenoble, France (2003)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-540-45236-2_24","volume-title":"FME 2003: Formal Methods","author":"L. Burdy","year":"2003","unstructured":"Burdy, L., Requet, A., Lanet, J.-L.: Java applet correctness: A developeroriented approach. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 422\u2013439. Springer, Heidelberg (2003)"},{"key":"24_CR5","volume-title":"Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1999)"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/304065.304111","volume-title":"JAVA 1999: Proceedings of the ACM 1999 conference on Java Grande","author":"K. Ishizaki","year":"1999","unstructured":"Ishizaki, K., Kawahito, M., Yasue, T., Takeuchi, M., Ogasawara, T., Suganuma, T., Onodera, T., Komatsu, H., Nakatani, T.: Design, implementation, and evaluation of optimizations in a just-in-time compiler. In: JAVA 1999: Proceedings of the ACM 1999 conference on Java Grande, pp. 119\u2013128. ACM Press, New York (1999)"},{"key":"24_CR7","unstructured":"Proebsting, T.A., Townsend, G., Bridges, P., Hartman, J.H., Newsham, T., Watterson, S.A.: Toba: Java for applications: A way ahead of time (wat) compiler. In: Third USENIX Conference on Object-Oriented Technologies (COOTS), Portland, Oregon, University of Arizona (June 1997)"},{"key":"24_CR8","volume-title":"Third USENIX Conference on Object-Oriented Technologies (COOTS)","author":"G. Muller","year":"1997","unstructured":"Muller, G., Moura, B., Bellard, F., Consel, C.: Harissa: a flexible and efficient java environment mixing bytecode and compiled code. In: Third USENIX Conference on Object-Oriented Technologies (COOTS), USENIX, Portland (June 1997)"},{"key":"24_CR9","unstructured":"JC Virtual Machine, \n                    \n                      http:\/\/jcvm.sourceforge.net\/"},{"key":"24_CR10","unstructured":"Vall\u00b4ee-Rai, R., Hendren, L., Sundaresan, V., Lam, P., Gagnon, E., Co, P.: Soot - a java optimization framework. In: Proceedings of CASCON 1999, pp. 125\u2013135 (1999)"},{"issue":"11","key":"24_CR11","doi-asserted-by":"publisher","first-page":"1003","DOI":"10.1002\/(SICI)1096-9128(199711)9:11<1003::AID-CPE346>3.0.CO;2-G","volume":"9","author":"J. Hummel","year":"1997","unstructured":"Hummel, J., Azevedo, A., Kolson, D., Nicolau, A.: Annotating the Java bytecodes in support of optimization. Concurrency: Practice and Experience\u00a09(11), 1003\u20131016 (1997)","journal-title":"Concurrency: Practice and Experience"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/304065.304115","volume-title":"JAVA 1999: Proceedings of the ACM 1999 conference on Java Grande","author":"A. Azevedo","year":"1999","unstructured":"Azevedo, A., Nicolau, A., Hummel, J.: Java annotation-aware just-in-time (ajit) complilation system. In: JAVA 1999: Proceedings of the ACM 1999 conference on Java Grande, pp. 142\u2013151. ACM Press, New York (1999)"},{"key":"24_CR13","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Mller, P., Kiniry, J.: JML Reference Manual (July 2005)"},{"key":"24_CR14","unstructured":"Pavlova, M.: Java bytecode logic and specification. tech. rep., INRIA, Sophia- Antipolis, Draft version (2005)"},{"key":"24_CR15","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"24_CR16","unstructured":"Java In The Small, \n                    \n                      http:\/\/www.lifl.fr\/RD2P\/JITS\/"}],"container-title":["Lecture Notes in Computer Science","Smart Card Research and Advanced Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11733447_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:53:10Z","timestamp":1619506390000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11733447_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333111","9783540333128"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11733447_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}