{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:26Z","timestamp":1761611186576},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055755","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:36:31Z","timestamp":1155836191000},"page":"17-35","source":"Crossref","is-referenced-by-count":13,"title":["Defining the Java Virtual Machine as platform for provably correct Java compilation"],"prefix":"10.1007","author":[{"given":"Egon","family":"B\u00f6rger","sequence":"first","affiliation":[]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"2_CR1","volume-title":"Technical report","author":"E. B\u00f6rger","year":"1998","unstructured":"E. B\u00f6rger and W. Schulte. Defining the Java Virtual Machine as platform for provably correct Java compilation. Technical report, Universit\u00e4t Ulm, Fakult\u00e4t f\u00fcr Informatik. Ulm, Germany, 1998."},{"key":"2_CR2","unstructured":"E. B\u00f6rger and W. Schulte. A modular design for the Java VM architecture. In E. B\u00f6rger, editor, Architecture Design and Validation Methods. Springer LNCS, to appear, 1998."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger and W. Schulte. A programmer friendly modular definition of the semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java(tm), Springer LNCS, to appear. 1998.","DOI":"10.1007\/3-540-48737-9_10"},{"key":"2_CR4","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java(tm) Language Specification. Addison Wesley, 1996."},{"key":"2_CR5","unstructured":"Y. Gurevich. Evolving algebras 1993: Lipari guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"2_CR6","unstructured":"T. Lindholm and F. Yellin. The Java(tm) Virtual Machine Specification. Addison Wesley, 1996."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T18:44:20Z","timestamp":1555785860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055755"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0055755","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}