{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:10:30Z","timestamp":1778253030856,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676683","type":"print"},{"value":"9783540450993","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_18","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T04:05:17Z","timestamp":1294977917000},"page":"340-359","source":"Crossref","is-referenced-by-count":27,"title":["Code Specialization Based on Value Profiles"],"prefix":"10.1007","author":[{"given":"Robert","family":"Muth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Watterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saumya","family":"Debray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/BFb0053060","volume-title":"ECOOP \u201996 - Object-Oriented Programming","author":"G. Aigner","year":"1996","unstructured":"Aigner, G., H\u00f6lzle, U.: Eliminating Virtual Function Calls in C++ Programs. In: Cointe, P. (ed.) ECOOP 1996. LNCS, vol.\u00a01098, pp. 142\u2013166. Springer, Heidelberg (1996)"},{"key":"18_CR2","unstructured":"Andersen, L.O., Gomard, C.K.: Speedup Analysis in Partial Evaluation (Preliminary Results). In: Proc. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, June 1992, pp. 1\u20137 (1992) (Also available as Research Report YALEU\/DCS\/RR-909, Department of Computer Science, Yale University, New Haven, CT)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Auslander, J., Philipose, M., Chambers, C., Eggers, S.J., Bershad, B.N.: Fast, Effective Dynamic Compilation. In: Proc. SIGPLAN 1996 Conference on Programming Language Design and Implementation, June 1996, pp. 149\u2013159 (1996)","DOI":"10.1145\/231379.231409"},{"key":"18_CR4","unstructured":"Bala, V., Duesterwald, E., Banerjia, S.: Transparent Dynamic Optimization: The Design and Implementation of Dynamo, Technical Report HPL-1999-78, Hewlett-Packard Laboratories, Cambridge, Mass. (June 1999)"},{"issue":"10","key":"18_CR5","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1002\/spe.4380151009","volume":"15","author":"R.L. Bernstein","year":"1985","unstructured":"Bernstein, R.L.: Producing Good Code for the Case Statement. Software\u2014 Practice and Experience\u00a015(10), 1021\u20131024 (1985)","journal-title":"Software\u2014 Practice and Experience"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Calder, B., Feller, P., Eustace, A.: Value Profiling. In: Proc. 30th International Symposium on Microarchitecture, December 1997, pp. 259\u2013269 (1997)","DOI":"10.1109\/MICRO.1997.645816"},{"key":"18_CR7","first-page":"1","volume":"1","author":"B. Calder","year":"1999","unstructured":"Calder, B., Feller, P., Eustace, A.: Value Profiling and Optimization. Journal of Instruction-Level Parallelism\u00a01, 1\u20136 (1999)","journal-title":"Journal of Instruction-Level Parallelism"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Consel, C., No\u00ebl, F.: A General Approach for Run-time Specialization and its Application to C. In: Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, January 1996, pp. 145\u2013156 (1996)","DOI":"10.1145\/237721.237767"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Apporoximation of Fixpoints. In: Proc. Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Davidson, J., Jinturkar, S.: Memory Access Coalescing: A Technique for Eliminating Redundant Memory Accesses. In: Proc. SIGPLAN 1994 Symposium on Programming Language Design and Implementation, June 1994, pp. 186\u2013195 (1994)","DOI":"10.1145\/178243.178259"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Davidson, J.W., Jinturkar, S.: Aggressive Loop Unrolling in a Retargetable Optimizing Compiler., in Proc. CC 1996: Compiler Construction (April 1996)","DOI":"10.1007\/3-540-61053-7_53"},{"key":"18_CR12","unstructured":"Grant, B., Mock, M., Philipose, M., Chambers, C., Eggers, S. J.: DyC: An Expressive Annotation-Directed Dynamic Compiler for C, Technical Report UWCSE- 97-03-03 (January 1998) (updated May 1999)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Grant, B., Philipose, M., Mock, M., Chambers, C., Eggers, S.J.: An Evaluation of Staged Run-time Optimizations in DyC. In: Proc. SIGPLAN 1999 Conference on Programming Language Design and Implementation, May 1999, pp. 293\u2013304 (1999)","DOI":"10.1145\/301618.301683"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"H\u00f6lzle, U., Agesen, O.: Dynamic vs. Static Optimization Techniques for Object- Oriented Languages. Theory and Practice of Object Systems\u00a01(3) (1996)","DOI":"10.1002\/j.1096-9942.1995.tb00017.x"},{"key":"18_CR15","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N.D. Jones","year":"1993","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993)"},{"key":"18_CR16","unstructured":"Mock, M., Berryman, M., Chambers, C., Eggers, S.J.: Calpa: A Tool for Automating Dynamic Compilation. In: Proc. 2nd. ACM Workshop on Feedback-Directed Optimization (November 1999), Available as \n                      http:\/\/www-cse.ucsd.edu\/users\/calder\/fdo\/fdo2-mock.ps"},{"key":"18_CR17","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufman, San Francisco (1997)"},{"key":"18_CR18","unstructured":"Muth, R., Debray, S.K., Watterson, S., De Bosschere, K.: alto: A Link- Time Optimizer for the DEC Alpha, Technical Report 98-14, Dept. of Computer Science, The University of Arizona (December 1998)"},{"issue":"2","key":"18_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M.N. Wegman","year":"1991","unstructured":"Wegman, M.N., Zadeck, F.K.: Constant Propagation with Conditional Branches. ACM Transactions on Programming Languages and Systems\u00a013(2), 181\u2013210 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:18:12Z","timestamp":1778249892000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}