{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:23:35Z","timestamp":1740374615264,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221593"},{"type":"electronic","value":"9783540248514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24851-4_27","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:36:03Z","timestamp":1281299763000},"page":"584-608","source":"Crossref","is-referenced-by-count":12,"title":["Customization of Java Library Classes Using Type Constraints and Profile Information"],"prefix":"10.1007","author":[{"given":"Bjorn","family":"De Sutter","sequence":"first","affiliation":[]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[]},{"given":"Julian","family":"Dolby","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Beckmann, B., Wang, X.: Adaptive prefetching Java objects (manuscript)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Cai, J., Paige, R.: Towards increased productivity of algorithm implementation. In: Proc. 1st ACM SIGSOFT symposium on Foundations of software engineering, pp. 71\u201378 (1993)","DOI":"10.1145\/256428.167067"},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Calder, B., Feller, P., Eustace, A.: Value profiling. In: Proceedings of the 30th annual ACM\/IEEE International Symposium on Microarchitecture (ISCA 1997), pp. 259\u2013269 (1997)","DOI":"10.1109\/MICRO.1997.645816"},{"issue":"7","key":"27_CR4","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/74818.74831","volume":"24","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D.: Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. ACM SIGPLAN Notices\u00a024(7), 146\u2013160 (1989)","journal-title":"ACM SIGPLAN Notices"},{"issue":"6","key":"27_CR5","doi-asserted-by":"publisher","first-page":"876","DOI":"10.1145\/945885.945892","volume":"25","author":"J.-D. Choi","year":"2003","unstructured":"Choi, J.-D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Stack allocation and synchronization optimizations for java using escape analysis. ACM Transactions on Programming Languages and Systems\u00a025(6), 876\u2013910 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Chung, E.-Y., Benini, L., De Micheli, G.: Automatic source code specialization for energy reduction. In: Proceedings of the 2001 International Symposium on Low Power Electronics and Design (ISPLED 2001), pp. 80\u201383 (2001)","DOI":"10.1145\/383082.383099"},{"key":"27_CR7","unstructured":"Cooper, K., Hall, M.W., Kennedy, K.: A methodology for procedure cloning. Computer Languages (may 1995)"},{"key":"27_CR8","volume-title":"Generative Programming: Methods, Techniques, and Applications","author":"K. Czarnecki","year":"1999","unstructured":"Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Techniques, and Applications. Addison-Wesley, Reading (1999)"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/357062.357064","volume":"1","author":"R.K. Dewar","year":"1979","unstructured":"Dewar, R.K., Arthur, L.S.-C., Schwartz, J.T., Schonberg, E.: Programming by refinement, as exemplified by the SETL representation sublanguage. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a01(1), 27\u201349 (1979)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"27_CR10","series-title":"Improving the Design of Existing Code","volume-title":"Refactoring","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring. Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"key":"27_CR11","unstructured":"Friedman, S., Leidenfrost, N., Brodie, B., Cytron, R.: Hashtables for embedded and real-time systems. In: IEEE Real-Time Embedded System Workshop (2001)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Glew, N., Palsberg, J.: Type-safe method inlining. In: Proc. 16th European Conference on Object-Oriented Programming, pp. 525\u2013544 (2002)","DOI":"10.1007\/3-540-47993-7_22"},{"issue":"1","key":"27_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0167-6423(00)00014-9","volume":"39","author":"M. Hind","year":"2001","unstructured":"Hind, M., Pioli, A.: Evaluating the effectiveness of pointer alias analyses. Science of Computer Programming\u00a039(1), 31\u201355 (2001)","journal-title":"Science of Computer Programming"},{"key":"27_CR14","unstructured":"H\u00f6gstedt, K., D., K., Rajan, V., Roth, T., Sreedhar, V., Wegman, M., Wang, N.: The autonomic performance prescription. Available from the author at wegman@watson.ibm.com"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"27_CR16","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1997","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1997)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Palsberg, J.: Type-based analysis and applications. In: ACM Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), Snowbird, UT, pp. 20\u201327 (2001)","DOI":"10.1145\/379605.379635"},{"key":"27_CR18","volume-title":"Object-Oriented Type Systems","author":"J. Palsberg","year":"1993","unstructured":"Palsberg, J., Schwartzbach, M.: Object-Oriented Type Systems. John Wiley & Sons, Chichester (1993)"},{"key":"27_CR19","volume-title":"UNU\/IIST 10th Anniversary Colloqium, Formal Methods at the Crossroads: From Panaea to Foundational Support","author":"D. Pavlovic","year":"2003","unstructured":"Pavlovic, D., Smith, D.: Software development by refinement. In: UNU\/IIST 10th Anniversary Colloqium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer, Heidelberg (2003)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Rountev, A., Milanova, A., Ryder, B.: Points-to analysis for Java using annotated constraints. In: Proc. 16th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2001), Tampa Bay, FL, pp. 43\u201355 (2001)","DOI":"10.1145\/504282.504286"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Ryder, B.G.: Dimensions of precision in reference analysis of object-oriented programming languages. In: Proc. 12th International Conference on Compiler Construction (CC 2003), Warsaw, Poland, April 2003, pp. 126\u2013137 (2003)","DOI":"10.1007\/3-540-36579-6_10"},{"issue":"2","key":"27_CR22","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1145\/357133.357135","volume":"3","author":"E. Schonberg","year":"1981","unstructured":"Schonberg, E., Schwartz, J., Sharir, M.: An automatic technique for selection of data representations in SETL programs. ACM Transactions on Programming Languages and Systems\u00a03(2), 126\u2013143 (1981)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"27_CR23","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1145\/778559.778561","volume":"25","author":"U.P. Schultz","year":"2003","unstructured":"Schultz, U.P., Lawall, J.L., Consel, C.: Automatic program specialization for java. ACM Transactions on Programming Languages and Systems\u00a025(4), 452\u2013499 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Sirkin, M., Batory, D., Singhal, V.: Software components in a data structure precompiler. In: Proceedings of the 15th International Conference on Software Engineering (ICSE 1997), pp. 437\u2013446 (1997)","DOI":"10.1109\/ICSE.1993.346022"},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Tip, F., Kie\u017cun, A., B\u00e4umer, D.: Refactoring for generalizations using type constraints. In: Proc. 18th Annual Conf. on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2003 (2003)","DOI":"10.1145\/949305.949308"},{"issue":"6","key":"27_CR26","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1145\/586088.586090","volume":"24","author":"F. Tip","year":"2002","unstructured":"Tip, F., Sweeney, P.F., Laffra, C., Eisma, A., Streeter, D.: Practical extraction techniques for Java. ACM Transactions on Programming Languages and Systems\u00a024(6), 625\u2013666 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR27","unstructured":"Veldhuizen, T.L., Gannon, D.: Active libraries: Rethinking the roles of compilers and libraries. In: Proceedings of the SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing, OO 1998 (1998)"},{"issue":"1","key":"27_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1147\/sj.421.0085","volume":"42","author":"D. Yellin","year":"2003","unstructured":"Yellin, D.: Competitive algorithms for the dynamic selection of component implementations. IBM Systems Journal\u00a042(1), 85\u201397 (2003)","journal-title":"IBM Systems Journal"},{"key":"27_CR29","doi-asserted-by":"crossref","unstructured":"Yotov, K., Li, X., Ren, G., Cibulskis, M., DeJong, G., Garzaran, M., Padua, D., Pingali, K., Stodghill, P., Wu, P.: Comparison of empirical and model-driven optimization. In: Proc. ACM SIGPLAN 2003 conference on Programming language design and implementation, pp. 63\u201376 (2003)","DOI":"10.1145\/781131.781140"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2004 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24851-4_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T23:17:48Z","timestamp":1740352668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24851-4_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221593","9783540248514"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24851-4_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}