{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:52Z","timestamp":1725605572073},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_5","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"109-126","source":"Crossref","is-referenced-by-count":0,"title":["Link-time Optimization of Multi-Language Programs"],"prefix":"10.1007","author":[{"given":"Saumya","family":"Debray","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Compilers - Principles","author":"AV Aho","year":"1986","unstructured":"A. V. Aho, R. Sethi and J. D. Ullman, Compilers - Principles, Techniques and Tools, Addison-Wesley, 1986."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/258948.258959","volume":"Proc. 1997","author":"JM Ashley","year":"1997","unstructured":"J. M. Ashley, \u201cThe Effectiveness of Flow Analysis for Inlining\u201d, Proc. 1997 SI GPL AN International Conference on Functional Programming, June 1997, pp. 99\u2013111.","journal-title":"SI GPL AN International Conference on Functional Programming"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/258948.258960","volume":"1997","author":"M Blume","year":"1997","unstructured":"M. Blume and A. W. Appel, \u201cLambda-splitting: A Higher-Order Approach to Cross-Module Optimizations\u201d, Proc. 1997 SIGPLAN International Conference on Functional Programming, June 1997, pp. 112\u2013124.","journal-title":"SIGPLAN International Conference on Functional Programming"},{"key":"5_CR4","first-page":"397","volume-title":"\u201cReducing Indirect Function Call Overhead in C++ Programs\u201d, Proc. 21st ACM Symposium on Principles of Programming Languages","author":"B Calder","year":"1994","unstructured":"B. Calder and D. Grunwald, \u201cReducing Indirect Function Call Overhead in C++ Programs\u201d, Proc. 21st ACM Symposium on Principles of Programming Languages, Jan. 1994, pp. 397\u2013408."},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/195473.195553","volume-title":"\u201cReducing Branch Costs via Branch Alignment\u201d, 6th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"B Calder","year":"1994","unstructured":"B. Calder and D. Grunwald, \u201cReducing Branch Costs via Branch Alignment\u201d, 6th International Conference on Architectural Support for Programming Languages and Operating Systems, October 1994, pp. 242\u2013251."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"P. Codognet and D. Diaz, \u201cwamcc: Compiling Prolog to C\u201d, Proc. Twelfth International Coference on Logic Programming, June 1995, pp.317\u2013332, MIT Press.","DOI":"10.7551\/mitpress\/4298.003.0037"},{"key":"5_CR7","volume-title":"\u201cThe Impact of Interprocedural Analysis and Optimization on the Design of a Software Development Environment\u201d, Technical Report COMP TR84\u20136","author":"KD Cooper","year":"1984","unstructured":"K. D. Cooper, K. Kennedy, and L. Torczon, \u201cThe Impact of Interprocedural Analysis and Optimization on the Design of a Software Development Environment\u201d, Technical Report COMP TR84\u20136, Dept. of Computer Science, Rice University, Houston, Texas, 1984."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"F. Henglein, \u201cGlobal Tagging Optimization by Type Inference\u201d, Proc. 1992 ACM Symposium on Lisp and Functional Programming, pp. 205\u2013215.","DOI":"10.1145\/141471.141542"},{"key":"5_CR9","unstructured":"M. Hermenegildo, personal communication, Nov. 1998."},{"key":"5_CR10","unstructured":"S. Jagannathan and A. Wright, \u201cEffective Flow Analysis for Avoiding RunTime Checks\u201d, Proc. 1995 Static Analysis Symposium (SAS \u201995), Sept. 1995."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/231379.231417","volume-title":"\u201cFlow-directed Inlining\u201d, Proc. SIGPLAN \u201996 Conference on Programming Language Design and Implementation","author":"S Jagannathan","year":"1996","unstructured":"S. Jagannathan and A. Wright, \u201cFlow-directed Inlining\u201d, Proc. SIGPLAN \u201996 Conference on Programming Language Design and Implementation, May 1996, pp. 193\u2013205."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/93542.93550","volume-title":"\u201cProfile-Guided Code Positioning\u201d, Proc. SIGPLAN \u201990 Conference on Programming Language Design and Implementation","author":"K Pettis","year":"1990","unstructured":"K. Pettis and R. C. Hansen, \u201cProfile-Guided Code Positioning\u201d, Proc. SIGPLAN \u201990 Conference on Programming Language Design and Implementation, June 1990, pp. 16\u201327."},{"key":"5_CR13","volume-title":"\u201cThe Effectiveness of Type-Based Unboxing\u201d, Workshop on Types in Compilation \u201997","author":"X Leroy","year":"1997","unstructured":"X. Leroy, \u201cThe Effectiveness of Type-Based Unboxing\u201d, Workshop on Types in Compilation \u201997, Amsterdam, 1997."},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/93542.93551","volume-title":"\u201cRegister Allocation across Procedure and Module Boundaries\u201d, Proc. SIGPLAN \u201990 Conference on Programming Language Design and Implementation","author":"V Santhanam","year":"1990","unstructured":"V. Santhanam and D. Odnert, \u201cRegister Allocation across Procedure and Module Boundaries\u201d, Proc. SIGPLAN \u201990 Conference on Programming Language Design and Implementation, June 1990, pp. 28\u201339."},{"key":"5_CR15","first-page":"366","volume-title":"\u201cBigloo: a portable and optimizing compiler for strict functional languages\u201d Proc. Static Analysis Symposium (SAS \u201995)","author":"M Serrano","year":"1995","unstructured":"M. Serrano and P. Weis, \u201cBigloo: a portable and optimizing compiler for strict functional languages\u201d Proc. Static Analysis Symposium(SAS \u201995) , 1995, pp. 366\u2013381."},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/161494.161517","volume":"1","author":"A Srivastava","year":"1992","unstructured":"A. Srivastava, \u201cUnreachable Procedures in Object-Oriented Programming\u201d, ACM Letters on Programming Languages and Systems vol. 1 no. 4, Dec. 1992, pp. 355\u2013364.","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"5_CR17","first-page":"35","volume":"vol. 1302","author":"O Waddell","year":"1997","unstructured":"O. Waddell and R. K. Dybvig, \u201cFast and Effective Procedure Inlining\u201d, Proc. 1997 Static Analysis Symposium (SAS \u201997), Sept. 1997, pp. 35\u201352. Springer- Verlag LNCS vol. 1302.","journal-title":"LNCS"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T04:28:10Z","timestamp":1712809690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_5","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}