{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:06:48Z","timestamp":1751983608728,"version":"3.30.1"},"reference-count":37,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4672,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1016\/s0304-3975(00)00052-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:23:35Z","timestamp":1027607015000},"page":"201-210","source":"Crossref","is-referenced-by-count":5,"title":["Accurate program analyses for successful specialization of legacy system software"],"prefix":"10.1016","volume":"248","author":[{"given":"Gilles","family":"Muller","sequence":"first","affiliation":[]},{"given":"Renaud","family":"Marlet","sequence":"additional","affiliation":[]},{"given":"Eugen-Nicolae","family":"Volanschi","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(00)00052-9_BIB1","unstructured":"L.O. Andersen, Program analysis and specialization for the C programming language, Ph.D. Thesis, Computer Science Department, University of Copenhagen, May 1994, DIKU Technical Report 94\/19."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB2","unstructured":"S. Chirokoff, C. Consel, Combining program and data specialization, in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, TX, USA, ACM Press, New York, January 1999, pp. 45\u201349."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB3","doi-asserted-by":"crossref","unstructured":"D.D. Clark, D.L. Tennenhouse, Architectural considerations for a new generation of protocols, in: SIGCOMM Symp. on Communications Architectures and Protocols, Philadelphia, PA, ACM Press, New York, September 1990, pp. 200\u2013208.","DOI":"10.1145\/99508.99553"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB4","doi-asserted-by":"crossref","unstructured":"C. Consel, Program adaptation based on program transformation, ACM Comput. Surveys 28(4es) (1996) 164\u2013167.","DOI":"10.1145\/242224.242431"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB5","doi-asserted-by":"crossref","unstructured":"C. Consel, O. Danvy, Tutorial notes on partial evaluation, in: Conference Record of the 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Charleston, SC, USA, ACM Press, New York, January 1993, pp. 493\u2013501.","DOI":"10.1145\/158511.158707"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB6","doi-asserted-by":"crossref","unstructured":"C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noy\u00e9, S. Thibault, N. Volanschi, Tempo. Specializing systems applications and beyond, ACM Comput. Surveys, Symp. Partial Evaulation 30(3) (1998).","DOI":"10.1145\/289121.289140"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB7","doi-asserted-by":"crossref","unstructured":"C. Consel, L. Hornof, J. Lawall, R. Marlet, G. Muller, J. Noy\u00e9, S. Thibault, N. Volanschi, Partial evaluation for software engineering, ACM Comput. Surveys, Symp. Partial Evaulation 30(3) (1998).","DOI":"10.1145\/289121.289141"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB8","doi-asserted-by":"crossref","unstructured":"C. Consel, L. Hornof, F. No\u00ebl, J. Noy\u00e9, E.N. Volanschi, A uniform approach for compile-time and run-time specialization, in: O. Danvy, R. Gl\u00fcck, P. Thiemann (Eds.), Partial Evaluation, Internat. Seminar, Dagstuhl Castle, Lecture Notes in Computer Science, Vol. 110, Springer, Berlin, February 1996, pp. 54\u201372.","DOI":"10.1007\/3-540-61580-6_4"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB9","doi-asserted-by":"crossref","unstructured":"C. Consel, F. No\u00ebl, A general approach for run-time specialization and its application to C, in: Conf. Record of the 23rd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, St. Petersburg Beach, FL, USA, ACM Press, New York, January 1996, pp. 145\u2013156.","DOI":"10.1145\/237721.237767"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB10","doi-asserted-by":"crossref","unstructured":"B. Grant, M. Mock, M. Philipose, C. Chambers, S. Eggers, Annotation-directed run-time specialization in C, in: PEPM\u201997 [25], pp. 163\u2013178.","DOI":"10.1145\/258993.259016"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB11","doi-asserted-by":"crossref","unstructured":"B. Grant, M. Philipose, M. Mock, C. Chambers, S. Eggers, An evaluation of staged run-time optimizations in DyC, in: PLDI\u201999 [26], pp. 293\u2013304.","DOI":"10.1145\/301618.301683"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB12","doi-asserted-by":"crossref","unstructured":"L. Hornof, J. Noy\u00e9, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, in: PEPM\u201997 [25], pp. 63\u201373.","DOI":"10.1145\/258993.259005"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB13","unstructured":"L. Hornof, J. Noy\u00e9, Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity, Theoret. Comput. Sci. 248 (this Vol.) (2000) 3\u201327."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB14","doi-asserted-by":"crossref","unstructured":"L. Hornof, J. Noy\u00e9, C. Consel, Effective specialization of realistic programs via use sensitivity, in: P. Van Hentenryck (Ed.), Proc. 4th Internat. Symposium on Static Analysis, SAS\u201997, Lecture Notes in Computer Science, Vol. 1302, Paris, France, Springer, Berlin, September 1997, pp. 293\u2013314.","DOI":"10.1007\/BFb0032749"},{"issue":"2","key":"10.1016\/S0304-3975(00)00052-9_BIB15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1002\/spe.4380230205","volume":"23","author":"Johnson","year":"1993","journal-title":"The Peregrine high-performance RPC system, Software \u2014 Practice Experience"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB16","unstructured":"N.D. Jones, C. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, June 1993."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB17","doi-asserted-by":"crossref","unstructured":"J.L. Lawall, Faster Fourier transforms via automatic program specialization, Research Report 3437, INRIA, Rennes, France, June 1998.","DOI":"10.1007\/3-540-47018-2_14"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB18","doi-asserted-by":"crossref","unstructured":"R. Marlet, C. Consel, P. Boinot, Efficient incremental run-time specialization for free, in: PLDI\u201999 [26], pp. 281\u2013292.","DOI":"10.1145\/301618.301681"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB19","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1023\/A:1008719607040","article-title":"Efficient implementations of software architectures via partial evaluation","volume":"6","author":"Marlet","year":"1999","journal-title":"J. Automat. Software Eng."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB20","doi-asserted-by":"crossref","unstructured":"G. Muller, R. Marlet, E.N. Volanschi, C. Consel, C. Pu, A. Goel, Fast, optimized Sun RPC using automatic program specialization, in: Proc. 18th Internat. Conf. Distributed Computing Systems, Amsterdam, The Netherlands, IEEE Computer Society Press, Silver Spring, MD, May 1998, pp. 240\u2013249.","DOI":"10.1109\/ICDCS.1998.679507"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB21","doi-asserted-by":"crossref","unstructured":"G. Muller, U. Schultz, Harissa: a hybrid approach to Java execution, IEEE Software (1999) 44\u201351.","DOI":"10.1109\/52.754052"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB22","doi-asserted-by":"crossref","unstructured":"G. Muller, E.N. Volanschi, R. Marlet, Scaling up partial evaluation for optimizing the Sun commercial RPC protocol, in: PEPM\u2019 97 [25], pp. 116\u2013125.","DOI":"10.1145\/258993.259010"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB23","doi-asserted-by":"crossref","unstructured":"F. No\u00ebl, L. Hornof, C. Consel, J. Lawall, Automatic, template-based run-time specialization: implementation and experimental study, in: Internat. Conf. Computer Languages, Chicago, IL, May 1998; IEEE Computer Society Press, Silver Spring, MD, pp. 132\u2013142. Also available as IRISA Report PI-1065.","DOI":"10.1109\/ICCL.1998.674164"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB24","doi-asserted-by":"crossref","unstructured":"S. O'Malley, T. Proebsting, A.B. Montz, USC: a universal stub compiler, Technical Report TR94-10, University of Arizona, Department of Computer Science, 1994. Also in Proc. Conf. on Communications Archi. Protocols and Applications.","DOI":"10.1145\/190809.190341"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB25","unstructured":"Proc. ACM SIGPLAN Symp. Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, ACM Press, New York, June 1997."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB26","unstructured":"Proc. ACM SIGPLAN\u201999 Conf. Programming Language Design and Implementation, Atlanta, Georgia, US, 1\u20134 May 1999."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB27","doi-asserted-by":"crossref","unstructured":"C. Pu, T. Autrey, A. Black, C. Consel, C. Cowan, J. Inouye, L. Kethana, J. Walpole, K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, in: Proc. 1995 ACM Symp. on Operating Systems Principles, Copper Mountain Resort, CO, USA, December 1995, ACM Press, New York, pp. 314\u2013324; ACM Oper. Systems Rev. 29(5).","DOI":"10.1145\/224056.224080"},{"issue":"1","key":"10.1016\/S0304-3975(00)00052-9_BIB28","first-page":"10","article-title":"The Synthesis kernel","volume":"1","author":"Pu","year":"1988","journal-title":"Comput. Systems"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB29","unstructured":"R. Ramsey, All about administering NIS+. Sunsoft, 1993."},{"issue":"1","key":"10.1016\/S0304-3975(00)00052-9_BIB30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77648.77653","article-title":"Performance of Firefly RPC","volume":"8","author":"Schroeder","year":"1990","journal-title":"ACM Trans. Comput. Systems"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB31","doi-asserted-by":"crossref","unstructured":"U. Schultz, J. Lawall, C. Consel, G. Muller, Towards automatic specialization of Java programs, in: Proc. European Conf. on Object-oriented Programming (ECOOP\u201999), Lisbon, Portugal, June 1999, to appear.","DOI":"10.1007\/3-540-48743-3_17"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB32","unstructured":"Sun Microsystem, NFS: Network file system protocol specification, RFC 1094, Sun Microsystem, March 1989."},{"issue":"2","key":"10.1016\/S0304-3975(00)00052-9_BIB33","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/151244.151247","article-title":"Limits to low-latency communication on high-speed networks","volume":"11","author":"Thekkath","year":"1993","journal-title":"ACM Trans. Comput. Systems"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB34","doi-asserted-by":"crossref","unstructured":"S. Thibault, L. Bercot, C. Consel, R. Marlet, G. Muller, J. Lawall, Experiments in program compilation by interpreter specialization, Research Report 3588, INRIA, Rennes, France, December 1998.","DOI":"10.1145\/289121.289141"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB35","doi-asserted-by":"crossref","unstructured":"S. Thibault, C. Consel, G. Muller, Safe and efficient active network programming, in: 17th IEEE Symp. on Reliable Distributed Systems, West Lafayette, Indiana, October 1998, pp. 135\u2013143.","DOI":"10.1109\/RELDIS.1998.740484"},{"key":"10.1016\/S0304-3975(00)00052-9_BIB36","unstructured":"S. Thibault, R. Marlet, C. Consel, A domain-specific language for video device drivers: from design to implementation, in: Conf. Domain Specific Languages, Santa Barbara, CA, Usenix, October 1997, pp. 11\u201326."},{"key":"10.1016\/S0304-3975(00)00052-9_BIB37","unstructured":"E.N. Volanschi, An automatic approach to specializing system components, Ph.D. Thesis, Universit\u00e9 de Rennes I, February 1998."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500000529?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500000529?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,4]],"date-time":"2024-12-04T02:34:26Z","timestamp":1733279666000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500000529"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":37,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["S0304397500000529"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00052-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}