{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:52:32Z","timestamp":1725537152137},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642041631"},{"type":"electronic","value":"9783642041648"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04164-8_18","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T16:10:48Z","timestamp":1252944648000},"page":"376-408","source":"Crossref","is-referenced-by-count":0,"title":["Vertical Object Layout and Compression for Fixed Heaps"],"prefix":"10.1007","author":[{"given":"Ben L.","family":"Titzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Adl-Tabatabai, A.-R., Bharadwaj, J., Cierniak, M., Eng, M., Fang, J., Lewis, B.T., Murphy, B.R., Stichnoth, J.M.: Improving 64-bit Java IPF performance by compressing heap references. In: Proceedings of CGO 2004, pp. 100\u2013110 (2004)","DOI":"10.1109\/CGO.2004.1281667"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ananian, C.S., Rinard, M.: Data size optimizations for Java programs. In: LCTES 2003, Languages, Compilers, and Tools for Embedded Systems (2003)","DOI":"10.1145\/780732.780741"},{"issue":"3\u20135","key":"18_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1002\/cpe.653","volume":"15","author":"D.F. Bacon","year":"2003","unstructured":"Bacon, D.F.: Kava: a Java dialect with a uniform object model for lightweight classes. Concurrency and Computation: Practice and Experience\u00a015(3\u20135), 185\u2013206 (2003)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-47993-7_5","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"D.F. Bacon","year":"2002","unstructured":"Bacon, D.F., Fink, S.J., Grove, D.: Space- and time-efficient implementation of the Java object model. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 111\u2013132. Springer, Heidelberg (2002)"},{"key":"18_CR5","unstructured":"Bagley, D.: Computer language shootout benchmarks, http:\/\/shootout.alioth.debian.org\/gp4"},{"key":"18_CR6","unstructured":"Chapman, R., Barnes, J., Dobbing, B.: On the principled design of object-oriented programming languages for high-integrity systems. In: Proceedings of the 2nd NASA\/FAA Object-Oriented Technology Workshop (2003)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Chen, G., Kandemir, M.T., Vijaykrishnan, N., Irwin, M.J., Mathiske, B., Wolczko, M.: Heap compression for memory-constrained Java environments. In: Proceedings of OOPSLA 2003, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 282\u2013301 (2003)","DOI":"10.1145\/949305.949330"},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/115372.115297","volume":"13","author":"N.H. Cohen","year":"1991","unstructured":"Cohen, N.H.: Type-extension type tests can be performed in constant time. ACM Transactions on Programming Languages and Systems\u00a013(4), 626\u2013629 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Cooprider, N., Regehr, J.: Offline compression for on-chip RAM. In: Proceedings of PLDI 2007, ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, California, June 2007, pp. 363\u2013372 (2007)","DOI":"10.1145\/1250734.1250776"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, J.R., Welsh, M., Brewer, E.A., Culler, D.E.: The nesC language: A holistic approach to networked embedded systems. In: Proceedings of PLDI 2003, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1\u201311 (2003)","DOI":"10.1145\/781131.781133"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.S.: Automatic pool allocation for disjoint data structures. In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002) and The International Symposium on Memory Management (ISMM 2002), pp. 13\u201324 (2002)","DOI":"10.1145\/773146.773041"},{"key":"18_CR12","unstructured":"Mogul, J.C., Bartlett, J.F., Mayo, R.N., Srivastava, A.: Performance implications of multiple pointer sizes. In: Proceedings of USENIX Winter, pp. 187\u2013200 (1995)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Mosses, P.D.: A semantic algebra for binding constructs. In: Proceedings of ICFPC 1981, International Colloquium on Formalization of Programming Concepts, pp. 408\u2013418 (1981)","DOI":"10.1007\/3-540-10699-5_115"},{"key":"18_CR14","first-page":"45","volume-title":"Proceedings of IFIP TC2 Working Conference on Formal Description of Programming Concepts II (Garmisch-Partenkirchen, 1982)","author":"P.D. Mosses","year":"1983","unstructured":"Mosses, P.D.: Abstract semantic algebras! In: Proceedings of IFIP TC2 Working Conference on Formal Description of Programming Concepts II (Garmisch-Partenkirchen, 1982), pp. 45\u201370. North-Holland, Amsterdam (1983)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-13346-1_4","volume-title":"Semantics of Data Types","author":"P.D. Mosses","year":"1984","unstructured":"Mosses, P.D.: A basic abstract semantic algebra. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 87\u2013107. Springer, Heidelberg (1984)"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Myers, A.: Bidirectional object layout for separate compilation. In: Proceedings of OOPSLA 1995, ACM SIGPLAN Tenth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 124\u2013139 (1995)","DOI":"10.1145\/217838.217849"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Pugh, W., Weddell, G.E.: Two-directional record layout for multiple inheritance. In: Proceedings of PLDI 1990, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 85\u201391 (1990)","DOI":"10.1145\/93542.93556"},{"issue":"10","key":"18_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MC.1983.1654198","volume":"16","author":"L.K. Schubert","year":"1983","unstructured":"Schubert, L.K., Papalaskaris, M.A., Taugher, J.: Determining type, part, color and time relationships. IEEE Computer\u00a016(10), 53\u201360 (1983)","journal-title":"IEEE Computer"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-540-45212-6_22","volume-title":"Embedded Software","author":"W. Taha","year":"2003","unstructured":"Taha, W., Ellner, S., Xi, H.: Generating heap-bounded programs in a functional setting. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 340\u2013355. Springer, Heidelberg (2003)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Titzer, B.L.: Virgil: Objects on the head of a pin. In: Proceedings of OOPSLA 2006, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (2006)","DOI":"10.1145\/1167473.1167489"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Titzer, B.L., Lee, D.K., Palsberg, J.: Avrora: Scalable sensor network simulation with precise timing. In: Proceedings of IPSN 2005, Fourth International Conference on Information Processing in Sensor Networks, Los Angeles, April 2005, pp. 477\u2013482 (2005)","DOI":"10.1109\/IPSN.2005.1440978"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Titzer, B.L., Palsberg, J.: Nonintrusive precision instrumentation of microcontroller software. In: Proceedings of LCTES 2005, Conference on Languages, Compilers and Tools for Embedded Systems, Chicago, Illinois, June 2005, pp. 59\u201368 (2005)","DOI":"10.1145\/1065910.1065919"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Titzer, B.L., Palsberg, J.: Vertical object layout and compression for fixed heaps. In: Proceedings of CASES 2007, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, Salzburg, Austria, September 2007, pp. 170\u2013178 (2007)","DOI":"10.1145\/1289881.1289914"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Wilson, P.: Operating system support for small objects. In: Proceedings of Object Orientation in Operating Systems, pp. 80\u201386 (1991)","DOI":"10.1109\/IWOOOS.1991.183026"},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.scico.2006.02.007","volume":"62","author":"G. Wright","year":"2006","unstructured":"Wright, G., Seidl, M.L., Wolczko, M.: An object-aware memory architecture. Science of Computer Programming\u00a062(2), 145\u2013163 (2006)","journal-title":"Science of Computer Programming"},{"issue":"10","key":"18_CR26","doi-asserted-by":"publisher","first-page":"1081","DOI":"10.1002\/spe.729","volume":"36","author":"Y. Zhang","year":"2006","unstructured":"Zhang, Y., Gupta, R.: Compressing heap data for improved memory performance. Software \u2013 Practice & Experience\u00a036(10), 1081\u20131111 (2006)","journal-title":"Software \u2013 Practice & Experience"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Zibin, Y., Gil, J.: Efficient subtyping tests with pq-encoding. In: Proceedings of OOPSLA 2001, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Tampa Bay, Florida, October 2001, pp. 96\u2013107 (2001)","DOI":"10.1145\/504282.504290"}],"container-title":["Lecture Notes in Computer Science","Semantics and Algebraic Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04164-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:18:44Z","timestamp":1558538324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04164-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642041631","9783642041648"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04164-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}