{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:05:14Z","timestamp":1725487514466},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540420682"},{"type":"electronic","value":"9783540449782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44978-7_11","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:46:22Z","timestamp":1184600782000},"page":"173-197","source":"Crossref","is-referenced-by-count":10,"title":["Partial Evaluation for Class-Based Object-Oriented Languages"],"prefix":"10.1007","author":[{"given":"Ulrik P.","family":"Schultz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"11_CR1","first-page":"47","volume-title":"Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201993)","author":"L.O. Andersen","year":"1993","unstructured":"L.O. Andersen. Binding-time analysis and the taming of C pointers. In PEPM\u201993 [22], pages 47\u201358."},{"key":"11_CR2","unstructured":"L.O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, May 1994. DIKU Technical Report 94\/19."},{"key":"11_CR3","series-title":"Technical Report 94\/9","first-page":"119","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201994)","author":"R. Baier","year":"1994","unstructured":"R. Baier, R. Gl\u00fcck, and R. Z\u00f6chling. Partial evaluation of numerical programs in Fortran. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201994), pages 119\u2013132, Orlando, FL, USA, June 1994. Technical Report 94\/9, University of Melbourne, Australia."},{"key":"11_CR4","volume-title":"PhD thesis","author":"A. Bondorf","year":"1990","unstructured":"A. Bondorf. Self-Applicable Partial Evaluation. PhD thesis, DIKU, University of Copenhagen, Denmark, 1990. Revised version: DIKU Report 90\/17."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/73141.74831","volume-title":"Proceedings of the SIGPLAN\u2019 89 Conference on Programming Language Design and Implementation (PLDI\u2019 89)","author":"C. Chambers","year":"1989","unstructured":"C. Chambers and D. Ungar. Customization: Optimizing compiler technology for SELF, A dynamically-typed object-oriented programming language. In Bruce Knobe, editor, Proceedings of the SIGPLAN\u2019 89 Conference on Programming Language Design and Implementation (PLDI\u2019 89), pages 146\u2013160, Portland, OR, USA, June 1989. ACM Press."},{"key":"11_CR6","first-page":"66","volume-title":"Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201993)","author":"C. Consel","year":"1993","unstructured":"C. Consel. A tour of Schism: a partial evaluation system for higher-order applicative languages. In PEPM\u201993 [22], pages 66\u201377."},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/3-540-61580-6_4","volume-title":"Partial Evaluation, International Seminar, Dagstuhl Castle","author":"C. Consel","year":"1996","unstructured":"C. Consel, L. Hornof, F. No\u00ebl, J. Noy\u00e9, and E.N. Volanschi. A uniform approach for compile-time and run-time specialization. In O. Danvy, R. Gl\u00fcck, and P. Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, number 1110 in Lecture Notes in Computer Science, pages 54\u201372, February 1996."},{"issue":"6","key":"11_CR8","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/223428.207119","volume":"30","author":"J. Dean","year":"1995","unstructured":"J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN\u2019 95 Conference on Programming Language Design and Implementation (PLDI\u201995), pages 93\u2013102. ACM SIGPLAN Notices, 30(6), June 1995.","journal-title":"ACM SIGPLAN Notices"},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BFb0055522","volume-title":"Proceedings of the Second International Workshop on Types in Compilation (TIC\u201998)","author":"N. Fujinami","year":"1998","unstructured":"N. Fujinami. Determination of dynamic method dispatches using run-time code generation. In X. Leroy and A. Ohori, editors, Proceedings of the Second International Workshop on Types in Compilation (TIC\u201998), volume 1473 of Lecture Notes in Computer Science, pages 253\u2013271, Kyoto, Japan, March 1998."},{"key":"11_CR10","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994."},{"key":"11_CR11","unstructured":"J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996."},{"issue":"4","key":"11_CR12","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1145\/325478.325519","volume":"21","author":"M. Hind","year":"1999","unstructured":"M. Hind, M. Burke, P. Carini, and J. Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 21(4):848\u2013894, July 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BFb0032749","volume-title":"Proceedings of the Fourth International Symposium on Static Analysis (SAS\u201997)","author":"L. Hornof","year":"1997","unstructured":"L. Hornof, J. Noy\u00e9, and C. Consel. Effective specialization of realistic programs via use sensitivity. In P. Van Hentenryck, editor, Proceedings of the Fourth International Symposium on Static Analysis (SAS\u201997), volume 1302 of Lecture Notes in Computer Science, pages 293\u2013314, Paris, France, September 1997. Springer-Verlag."},{"key":"11_CR14","first-page":"132","volume-title":"ACM SIGPLAN Notices","author":"A. Igarashi","year":"1999","unstructured":"A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In L. Meissner, editor, Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA\u201999), volume 34(10) of ACM SIGPLAN Notices, pages 132\u2013146, Denver, Colorado, USA, November 1999. ACM Press."},{"key":"11_CR15","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"N.D. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. International Series in Computer Science. Prentice-Hall, June 1993."},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201997)","author":"G. Kiczales","year":"1997","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201997), volume 1241 of Lecture Notes in Computer Science, pages 220\u2013242, Jyv\u00e4skyl\u00e4, Finland, June 1997. Springer."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"J.W. Lloyd and J.C. Shepherdson. Partial evaluation in logic programming. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"11_CR18","unstructured":"M. Marquard and B. Steensgaard. Partial evaluation of an object-oriented imperative language. Master\u2019s thesis, University of Copenhagen, April 1992."},{"key":"11_CR19","unstructured":"OOPSLA\u201997 Conference Proceedings, Atlanta, GA, USA, October 1997. ACM Press."},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0053045","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201992)","author":"N. Oxh\u00f8j","year":"1992","unstructured":"N. Oxh\u00f8j, J. Palsberg, and M. Schwartzbach. Making type inference practical. In O.L. Madsen, editor, Proceedings of the European Conference on Object-Oriented Programming (ECOOP\u201992), volume 615 of Lecture Notes in Computer Science, pages 329\u2013349, Utrecht, The Netherlands, 1992. Springer-Verlag."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"J. Palsberg and M. Schwartzbach. Object-oriented type inference. In N. Meyrowitz, editor, OOPSLA\u201991 Conference Proceedings, volume 26(11), pages 146\u2013161. ACM Press, November 1991.","DOI":"10.1145\/117954.117965"},{"key":"11_CR22","unstructured":"Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201993), Copenhagen, Denmark, June 1993. ACM Press."},{"issue":"10","key":"11_CR23","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1145\/191081.191130","volume":"29","author":"J. Plevyak","year":"1994","unstructured":"J. Plevyak and A.A. Chien. Precise concrete type inference for object-oriented languages. In OOPSLA\u2019 94 Conference Proceedings, volume 29:10 of SIGPLAN Notices, pages 324\u2013324. ACM Press, October 1994.","journal-title":"SIGPLAN Notices"},{"key":"11_CR24","unstructured":"U.P. Schultz. Object-Oriented Software Engineering Using Partial Evaluation. PhD thesis, University of Rennes I, December 2000."},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"U.P. Schultz and C. Consel. Automatic program specialization for Java. DAIMI Technical Report PB-551, DAIMI, University of Aarhus, December 2000.","DOI":"10.7146\/dpb.v29i551.7104"},{"key":"11_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-48743-3_17","volume-title":"Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999)","author":"U.P. Schultz","year":"1999","unstructured":"U.P. Schultz, J. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. In Proceedings of the European Conference on Object-oriented Programming (ECOOP\u201999), volume 1628 of Lecture Notes in Computer Science, pages 367\u2013390, Lisbon, Portugal, June 1999."},{"key":"11_CR27","first-page":"197","volume-title":"Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000)","author":"U.P. Schultz","year":"2000","unstructured":"U.P. Schultz, J.L. Lawall, C. Consel, and G. Muller. Specialization patterns. In Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pages 197\u2013206, Grenoble, France, September 2000. IEEE Computer Society Press."},{"key":"11_CR28","first-page":"13","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201998)","author":"T.L. Veldhuizen","year":"1999","unstructured":"T.L. Veldhuizen. C++ templates as partial evaluation. In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM\u201998), pages 13\u201318, San Antonio, TX, USA, January 1999. ACM Press."},{"key":"11_CR29","first-page":"286","volume-title":"OOPSLA\u201997 Conference Proceedings","author":"E.N. Volanschi","year":"1997","unstructured":"E.N. Volanschi, C. Consel, G. Muller, and C. Cowan. Declarative specialization of object-oriented programs. In OOPSLA\u201997 [19], pages 286\u2013300."},{"key":"11_CR30","unstructured":"AspectJ home page, 2000. Accessible as http:\/\/aspectj.org . Xerox Corp."}],"container-title":["Lecture Notes in Computer Science","Programs as Data Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44978-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:00:09Z","timestamp":1556679609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44978-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540420682","9783540449782"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-44978-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}