{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:26:51Z","timestamp":1725550011177},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285847"},{"type":"electronic","value":"9783540319719"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11547662_11","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:36:20Z","timestamp":1127831780000},"page":"135-154","source":"Crossref","is-referenced-by-count":1,"title":["Type-Safe Optimisation of Plugin Architectures"],"prefix":"10.1007","author":[{"given":"Neal","family":"Glew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Grothoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alpern, B., Attanasio, C.R., Barton, J.J., Burke, M.G., Cheng, P., Choi, J.-D., Cocchi, A., Fink, S.J., Grove, D., Hind, M., Hummel, S.F., Lieber, D., Litvinov, V., Mergen, M.F., Ngo, T., Russell, J.R., Sarkar, V., Serrano, M.J., Shepherd, J.C., Smith, S.E., Sreedhar, V.C., Srinivasan, H., Whaley, J.: The Jalapeno virtual machine. IBM System Journal\u00a039(1) (February 2000)","DOI":"10.1147\/sj.391.0211"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bacon, D.F., Sweeney, P.F.: Fast static analysis of C++ virtual function calls. In: Proceedings of OOPSLA 1996, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 324\u2013341 (1996)","DOI":"10.1145\/236338.236371"},{"key":"11_CR3","unstructured":"Bacon, D.F.: Fast and Effective Optimization of Statically Typed Object-Oriented Languages. PhD thesis, Computer Science Division, University of California, Berkeley, Report No. UCB\/CSD-98-1017 (December 1997)"},{"key":"11_CR4","unstructured":"Bogda, J., Singh, A.K.: Can a shape analysis work at run-time? In: Java Virtual Machine Research and Technology Symposium (2001)"},{"key":"11_CR5","unstructured":"Cierniak, M., Eng, M., Glew, N., Lewis, B., Stichnoth, J.: The open runtime platform: A flexible high-performance managed runtime environment. Intel. Technical Journal\u00a07(1) (February 2003)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cierniak, M., Lueh, G.-Y., Stichnoth, J.: Practicing judo: Java under dynamic optimizations. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000, pp. 13\u201326 (2000)","DOI":"10.1145\/349299.349306"},{"key":"11_CR7","unstructured":"Dean, J., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. Technical Report 94-12-01, Department of Computer Science, University of Washington at Seattle (December 1994)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-49538-X_5","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"J. Dean","year":"1995","unstructured":"Dean, J., Grove, D., Chambers, C.: Optimization of object-oriented programs using static class hierarchy analysis. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 77\u2013101. Springer, Heidelberg (1995)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Glew, N.: An efficient class and object encoding. In: Proceedings of OOPSLA 2000, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 311\u2013324 (2000)","DOI":"10.1145\/353171.353192"},{"key":"#cr-split#-11_CR10.1","doi-asserted-by":"crossref","unstructured":"Glew, N., Palsberg, J.: Method inlining, dynamic class loading, and type soundness. In: Preliminary version in Sixth Workshop on Formal Techniques for Java-like Programs, Oslo, Norway (June 2004);","DOI":"10.5381\/jot.2005.4.8.a2"},{"key":"#cr-split#-11_CR10.2","unstructured":"Journal of Object Technology"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.scico.2004.03.009","volume":"52","author":"N. Glew","year":"2004","unstructured":"Glew, N., Palsberg, J.: Type-safe method inlining. Science of Computer Programming\u00a052, 281\u2013306 (2004); Glew, N., Palsberg, J.: Type-safe method inlining. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 525. Springer, Heidelberg (2002)","journal-title":"Science of Computer Programming"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-24851-4_5","volume-title":"ECOOP 2004 \u2013 Object-Oriented Programming","author":"M. Hirzel","year":"2004","unstructured":"Hirzel, M., Diwan, A., Hind, M.: Pointer analysis in the presence of dynamic class loading. In: Odersky, M. (ed.) ECOOP 2004. LNCS, vol.\u00a03086, pp. 96\u2013122. Springer, Heidelberg (2004)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Denver, CO, USA, October 1999, pp. 132\u2013146 (1999)","DOI":"10.1145\/320385.320395"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Ishizaki, K., Kawahito, M., Yasue, T., Komatsu, H., Nakatani, T.: A study of devirtualization techniques for a Java just-in-time compiler. In: Proceedings of OOPSLA 2000, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 294\u2013310 (2000)","DOI":"10.1145\/353171.353191"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"League, C., Shao, Z., Trifonov, V.: Representing Java classes in a typed intermediate language. In: Proceedings of ICFP 1999, ACM SIGPLAN International Conference on Functional Programming, pp. 183\u2013196 (1999)","DOI":"10.21236\/ADA436495"},{"key":"11_CR16","unstructured":"Morrisett, G., Tarditi, D., Cheng, P., Stone, C., Harper, R., Lee, P.: The TIL\/ML compiler: Performance and safety through types. In: ACM SIGPLAN Workshop on Compiler Support for System Software (1996)"},{"issue":"3","key":"11_CR17","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. ACM Transactions on Programming Languages and Systems\u00a021(3), 528\u2013569 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: Proceedings of OOPSLA 1991, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 146\u2013161 (1991)","DOI":"10.1145\/117954.117965"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Pechtchanski, I., Sarkar, V.: Dynamic optimistic interprocedural analysis: A framework and an application. In: Proceedings of OOPSLA 2001, ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, pp. 195\u2013210 (2001)","DOI":"10.1145\/504282.504297"},{"key":"11_CR20","unstructured":"Qian, F., Hendren, L.J.: Towards dynamic interprocedural analysis in JVMs. In: Virtual Machine Research and Technology Symposium, pp. 139\u2013150 (2004)"},{"key":"11_CR21","unstructured":"Shivers, O.: Control-Flow Analysis of Higher-Order Languages. PhD thesis, CMU, CMU\u2013CS\u201391\u2013145 (May 1991)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Sreedhar, V., Burke, M., Choi, J.-D.: A framework for interprocedural optimization in the presence of dynamic class loading. In: Proceedings of PLDI 2000, ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 196\u2013207 (2000)","DOI":"10.1145\/349299.349326"},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Stoyle, G., Hicks, M.W., Bierman, G.M., Sewell, P., Neamtiu, I.: Mutatis mutandis: Safe and predictable dynamic software updating. In: Proceedings of POPL 2005, SIGPLAN\u2013SIGACT Symposium on Principles of Programming Languages, pp. 183\u2013194 (2005)","DOI":"10.1145\/1047659.1040321"},{"key":"11_CR24","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/231379.231414","volume-title":"1996 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"D. Tarditi","year":"1996","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., Lee, P.: TIL: A type-directed optimizing compiler for ML. In: 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, Philadelphia, PA, USA, pp. 181\u2013192. ACM Press, New York (1996)"},{"key":"11_CR25","unstructured":"Wei, P.Y.: A brief overview of the VIOLA engine, and its applications (1994), http:\/\/www.xcf.berkeley.edu\/~wei\/viola\/violaIntro.html"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Wright, A., Jagannathan, S., Ungureanu, C., Hertzmann, A.: Compiling Java to a typed lambda-calculus: A preliminary report. In: ACM Workshop on Types in Compilation, Kyoto, Japan (March 1998)","DOI":"10.1007\/BFb0055510"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11547662_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:25Z","timestamp":1605642025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11547662_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285847","9783540319719"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11547662_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}