{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:56:37Z","timestamp":1725494197055},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540768364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76837-1_67","type":"book-chapter","created":{"date-parts":[[2007,11,6]],"date-time":"2007-11-06T05:25:50Z","timestamp":1194326750000},"page":"617-623","source":"Crossref","is-referenced-by-count":1,"title":["Array Modeling in Java Virtual Machine"],"prefix":"10.1007","author":[{"given":"Wu","family":"Weimin","sequence":"first","affiliation":[]},{"given":"Li","family":"Kailun","sequence":"additional","affiliation":[]},{"given":"Su","family":"Qing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"67_CR1","volume-title":"The Java(tm) Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java(tm) Language Specification. Addison-Wesley, Reading (1996)"},{"key":"67_CR2","volume-title":"The Java(tm) Virtual Machine Specification","author":"T. Lindholm","year":"1996","unstructured":"Lindholm, T., Yellin, F.: The Java(tm) Virtual Machine Specification. Addison-Wesley, Reading (1996)"},{"key":"67_CR3","doi-asserted-by":"crossref","unstructured":"Borger, E., Schulte, W.: Modular Design for the Java Virtual Machine Archicture. In: Archicture Design and Validation Methods (2000)","DOI":"10.1007\/978-3-642-57199-2_7"},{"key":"67_CR4","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Borger, E. (ed.) Specification and Validation Methods, Oxford University Press, Oxford (1995)"},{"key":"67_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1998","author":"E. Borger","year":"1998","unstructured":"Borger, E., Schulte, W.: Defining the Java Virtual Machine as platform for provably correct Java compilations. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, Springer, Heidelberg (1998)"},{"key":"67_CR6","volume-title":"Formal Syntax and Semantics of Java(tm)","author":"E. Borger","year":"1999","unstructured":"Borger, E., Schulte, W.: A programmer friendly modular definition of the semantics of Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java(tm), Springer, Heidelberg (to appear, 1999)"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76837-1_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:41:12Z","timestamp":1619505672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76837-1_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540768364"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76837-1_67","relation":{},"subject":[]}}