{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:55:45Z","timestamp":1743062145238,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540235804"},{"type":"electronic","value":"9783540301752"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30175-2_13","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T19:34:58Z","timestamp":1285270498000},"page":"244-265","source":"Crossref","is-referenced-by-count":0,"title":["A Unification of Inheritance and Automatic Program Specialization"],"prefix":"10.1007","author":[{"given":"Ulrik P.","family":"Schultz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/568173.568179","volume-title":"Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation","author":"R. Affeldt","year":"2002","unstructured":"Affeldt, R., Masuhara, H., Sumii, E., Yonezawa, A.: Supporting objects in runtime bytecode specialization. In: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation, pp. 50\u201360. ACM Press, New York (2002)"},{"key":"13_CR2","volume-title":"ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004)","author":"H.M. Andersen","year":"2004","unstructured":"Andersen, H.M., Schultz, U.P.: Declarative specialization for object-orientedprogram specialization. In: ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004), ACM Press, New York (2004) (to appear)"},{"key":"13_CR3","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, Computer Science Department, University of Copenhagen, DIKU Technical Report 94\/19 (May 1994)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/286936.286957","volume-title":"Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"G. Bracha","year":"1998","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: adding genericity to the java programming language. In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 183\u2013200. ACM Press, New York (1998)"},{"key":"13_CR5","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2000)","author":"M. Braux","year":"2000","unstructured":"Braux, M., Noy\u00e9, J.: Towards partially evaluating reflection in Java. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2000), Boston, MA, USA, January 2000, ACM Press, New York (2000)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Structural subtyping and the notion of power type. In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, pp. 70\u201379 (1988)","DOI":"10.1145\/73560.73566"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/73141.74831","volume-title":"Proceedings of the SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI 1989)","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D.: Customization: Optimizing compiler technology for SELF, A dynamically-typed object-oriented programming language. In: Knobe, B. (ed.) Proceedings of the SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI 1989), Portland, OR, USA, June 1989, pp. 146\u2013160. ACM Press, New York (1989)"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-39866-0_19","volume-title":"Perspectives of System Informatics","author":"A.M. Chepovsky","year":"2004","unstructured":"Chepovsky, A.M., Klimov, A.V., Klimov, A.V., Klimov, Y.A., Mishchenko, A.S., Romanenko, S.A., Skorobogatov, S.Y.: Partial evaluation for common intermediate language. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 171\u2013177. Springer, Heidelberg (2004)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Consel, C., Hornof, L., No\u00ebl, F., Noy\u00e9, J., Volanschi, E.N.: A uniform approach for compile-time and run-time specialization. In: Danvy et al: [11], pp. 54\u201372","DOI":"10.1007\/3-540-61580-6_4"},{"key":"13_CR10","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Partial Evaluation","year":"1996","unstructured":"Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.): Dagstuhl Seminar 1996. LNCS, vol.\u00a01110. Springer, Heidelberg (1996)"},{"key":"13_CR12","series-title":"ACM SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/207110.207119","volume-title":"Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI 1995)","author":"J. Dean","year":"1995","unstructured":"Dean, J., Chambers, C., Grove, D.: Selective specialization for object-oriented languages. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation (PLDI 1995), La Jolla, CA USA, June 1995. ACM SIGPLAN Notices, vol.\u00a030(6), pp. 93\u2013102. ACM Press, New York (1995)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1145\/258948.258968","volume-title":"Proceedings of the second ACM SIGPLAN international conference on Functional programming","author":"D. Dussart","year":"1997","unstructured":"Dussart, D., Hughes, J., Thiemann, P.: Type specialisation for imperative languages. In: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pp. 204\u2013216. ACM Press, New York (1997)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Ernst, E.: Propagating class and method combination. In: [17], Guerraoui, pp. 67\u201391","DOI":"10.1007\/3-540-48743-3_4"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BFb0055522","volume-title":"Types in Compilation","author":"N. Fujinami","year":"1998","unstructured":"Fujinami, N.: Determination of dynamic method dispatches using run-time code generation. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol.\u00a01473, pp. 253\u2013271. Springer, Heidelberg (1998)"},{"key":"13_CR16","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the European Conference on Object-oriented Programming (ECOOP 1999)","year":"1999","unstructured":"Guerraoui, R. (ed.): Proceedings of the European Conference on Object-oriented Programming (ECOOP 1999), Lisbon, Portugal, June 1999. LNCS, vol.\u00a01628. Springer, Heidelberg (1999)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Hughes, J.: Type specialisation for the \u03bb-calculus or a new paradigm for partial evaluation based on type inference. In: Danvy et al.: [11], pp. 183\u2013215","DOI":"10.1007\/3-540-61580-6_10"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/949344.949350","volume-title":"Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"D. Hutchins","year":"2003","unstructured":"Hutchins, D.: The power of symmetry: unifying inheritance and generative programming. In: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 38\u201352. ACM Press, New York (2003)"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-47993-7_19","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"A. Igarashi","year":"2002","unstructured":"Igarashi, A., Viroli, M.: On variance-based subtyping for parametric types. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 441\u2013469. Springer, Heidelberg (2002)"},{"key":"13_CR21","series-title":"International Series in Computer Science","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation, June 1993. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"13_CR22","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., Mendhekar, A., Maeda, C., Lopes, C.V., 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":"13_CR23","unstructured":"Luj\u00e1n, M.: Object oriented linear algebra. Master\u2019s thesis, University of Manchester (December 1999)"},{"key":"13_CR24","first-page":"229","volume-title":"OOPSLA 2000 Conference Proceedings, ACM SIGPLAN Notices","author":"M. Luj\u00e1n","year":"2000","unstructured":"Luj\u00e1n, M., Freeman, T.L., Gurd, J.R.: OoLaLa: an object oriented analysis and design of numerical linear algebra. In: Rosson, M.B., Lea, D. (eds.) OOPSLA 2000 Conference Proceedings, ACM SIGPLAN Notices, Minneapolis, MN USA, October 2000, pp. 229\u2013252. ACM Press, Minneapolis (2000)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Madsen, O.L.: Open issues in object-oriented programming \u2013 a scandinavian perspective. SOFTWARE. Practice and Experience 25(4) (December 1995)","DOI":"10.1002\/spe.4380251303"},{"key":"13_CR26","volume-title":"Object-oriented programming in the Beta programming language","author":"O.L. Madsen","year":"1993","unstructured":"Madsen, O.L., M\u00f8ller-Pedersen, B., Nygaard, K.: Object-oriented programming in the Beta programming language. Addison-Wesley, Reading (1993)"},{"key":"13_CR27","series-title":"SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1145\/74877.74919","volume-title":"Conference proceedings on Object-oriented programming systems, languages and applications (OOPSLA 1989)","author":"O.L. Madsen","year":"1989","unstructured":"Madsen, O.L., Pedersen, B.M.: Virtual classes: a powerful mechanism in objectoriented programming. In: Conference proceedings on Object-oriented programming systems, languages and applications (OOPSLA 1989), New Orleans, Louisiana, United States. SIGPLAN Notices, vol.\u00a024(10), pp. 397\u2013406. ACM Press, New Orleans (1989)"},{"key":"13_CR28","series-title":"Object-Oriented Series","volume-title":"Eiffel: The language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The language. Object-Oriented Series. Prentice Hall, New York (1992)"},{"key":"13_CR29","unstructured":"Schultz, U.P.: Object-Oriented Software Engineering Using Partial Evaluation. PhD thesis, University of Rennes I, Rennes, France (December 2000)"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-44978-7_11","volume-title":"Programs as Data Objects","author":"U.P. Schultz","year":"2001","unstructured":"Schultz, U.P.: Partial evaluation for class-based object-oriented languages. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 173\u2013197. Springer, Heidelberg (2001)"},{"key":"13_CR31","unstructured":"Schultz, U.P., Lawall, J., Consel, C., Muller, G.: Towards automatic specialization of Java programs. In: Guerraoui [17], pp. 367\u2013390"},{"key":"13_CR32","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. TOPLAS\u00a025, 452\u2013499 (2003)","journal-title":"TOPLAS"},{"issue":"3","key":"13_CR33","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/A:1010078412711","volume":"13","author":"S. Thibault","year":"2000","unstructured":"Thibault, S., Consel, C., Marlet, R., Muller, G., Lawall, J.: Static and dynamic program compilation by interpreter specialization. Higher-Order and Symbolic Computation (HOSC)\u00a013(3), 161\u2013178 (2000)","journal-title":"Higher-Order and Symbolic Computation (HOSC)"},{"key":"13_CR34","unstructured":"Thorup, K.K., Torgersen, M.: Unifying genericity \u2013 combining the benefits of virtual types and parameterized classes. In: Guerraoui [17]"},{"key":"13_CR35","unstructured":"Torgersen, M.: Virtual types are statically safe. In: 5th Workshop on Foundations of Object-Oriented Languages (January 1998)"},{"key":"13_CR36","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1145\/967900.968162","volume-title":"Proceedings of the 2004 ACM symposium on Applied computing","author":"M. Torgersen","year":"2004","unstructured":"Torgersen, M., Hansen, C.P., Ernst, E., von der Ah\u00e9, P., Bracha, G., Gafter, N.: Adding wildcards to the Java programming language. In: Proceedings of the 2004 ACM symposium on Applied computing, pp. 1289\u20131296. ACM Press, New York (2004)"},{"key":"13_CR37","first-page":"13","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1998)","author":"T.L. Veldhuizen","year":"1998","unstructured":"Veldhuizen, T.L.: C++ templates as partial evaluation. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1998), San Antonio, TX, USA, January 1999, pp. 13\u201318. ACM Press, San Antonio (1998)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30175-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T14:11:51Z","timestamp":1675087911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-30175-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540235804","9783540301752"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30175-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}