{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T19:16:12Z","timestamp":1648754172246},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Compt. Sci. & Technol."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1007\/bf02960761","type":"journal-article","created":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:59:57Z","timestamp":1222304397000},"page":"708-717","source":"Crossref","is-referenced-by-count":0,"title":["Automatic generation of interprocedural data-flow analyzers and optimizers"],"prefix":"10.1007","volume":"17","author":[{"given":"Ruiqi","family":"Lian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaoqing","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruliang","family":"Qiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02960761_CR1","doi-asserted-by":"crossref","unstructured":"Kildall G A. A unified approach to global program optimization. InProceedings of the 1st Annual ACM Symposium on Principles of Programming Languages, 1973, pp.194\u2013206.","DOI":"10.1145\/512927.512945"},{"key":"BF02960761_CR2","volume-title":"Advanced Compiler Design and Implementation","author":"S S Muchnick","year":"1997","unstructured":"Muchnick S S. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, San Francisco, California, 1997."},{"key":"BF02960761_CR3","doi-asserted-by":"crossref","unstructured":"Emami M, Ghiya R, Hendren L J. Context-sensitive interporcedureal point-to analysis in the presence of function pointers. InProceedings of the ACM SIGPLAN\u201994 Conference on Programming Language Design and Implementation, June, 1994, pp.242\u2013256.","DOI":"10.1145\/773473.178264"},{"key":"BF02960761_CR4","unstructured":"Liu Qiang. Study on interprocedural analysis techniques in the presence of pointer aliasing [Dissertation]. Institute of Computing Technology, the Chinese Academy of Sciences, 1998."},{"key":"BF02960761_CR5","doi-asserted-by":"crossref","unstructured":"Wilson R P, Lam M S. Efficient context-sensitive pointer analysis for C programs. InProceedings of the ACM SIGPLAN\u201995 Conference on Programming Language Design and Implementations, 1995, pp.1\u201312.","DOI":"10.1145\/223428.207111"},{"issue":"2","key":"BF02960761_CR6","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1006\/jpdc.1996.0135","volume":"38","author":"M W Hall","year":"1996","unstructured":"Hall M W, Seema Hiranandani, Ken Kennedy, Chaw-Wen Tseng. Interprocedure compilation on Fortran D.Journal of Parallel and Distributed Computing, 1996, 38(2): 114\u2013129.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"BF02960761_CR7","doi-asserted-by":"crossref","unstructured":"Callahan D. The program summary graph and flow-sensitive interprocedural data flow analysis. InProceedings of PLDI\u201988, June, 1988, 23(7): 47\u201356.","DOI":"10.1145\/53990.53995"},{"key":"BF02960761_CR8","doi-asserted-by":"crossref","unstructured":"Landi W, Ryder B G, Zhang S. Interprocedural modification side effect analysis with pointer aliasing. InSIGPLAN 93 Symposium on Programming Language Design and Implementation, June, 1993, 28(6): 56\u201367.","DOI":"10.1145\/155090.155096"},{"key":"BF02960761_CR9","doi-asserted-by":"crossref","unstructured":"Pande H D, William Landi. Interprocedural Def-Use associations in C program. InProceedings of Symposium on Testing, Analysis and Verification, 1991, pp.139\u2013153.","DOI":"10.1145\/120807.120820"},{"key":"BF02960761_CR10","doi-asserted-by":"crossref","unstructured":"Hall M W. FLAT: A framework for interprocedural analysis and transformation. InProceedings of the 6th International Workshop of Languages and Compilers for Parallel Computing, Oregon, USA, August, 1993, pp.522\u2013545, LNCS 768.","DOI":"10.1007\/3-540-57659-2_30"},{"key":"BF02960761_CR11","doi-asserted-by":"crossref","unstructured":"Steven W K Tjiang, John L Hennessy. Sharlit\u2014A tool for building optimizers. InProceedings of PLDI\u201992, 1992, 27(7): 82\u201393.","DOI":"10.1145\/143095.143120"},{"key":"BF02960761_CR12","unstructured":"Steven W K Tjiang. Automatic generation of data flow analyzers: A tool for building optimizers [Dissertation]. Stanford University, 1993."},{"key":"BF02960761_CR13","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/226155.226157","volume":"5","author":"P Devanbu","year":"1996","unstructured":"Devanbu P, Rosenblum D, Wolf A. Generating testing and analysis tool with Aria.ACM Trans. Software Engineering and Methodology, January, 1996, 5: 42\u201362.","journal-title":"ACM Trans. Software Engineering and Methodology, January"},{"key":"BF02960761_CR14","unstructured":"Mary Jean Harrold. Aristotle: A system for research on and development of program-analysis-based tools. Technical Report OSU-CISRC-3\/97-TR17, March, 1997, http:\/\/www.cis.ohio-state.edu\/~harrold\/organnon\/devl\/code, 1997."},{"issue":"9","key":"BF02960761_CR15","first-page":"256","volume":"24","author":"Gerardo Canfora","year":"1998","unstructured":"Gerardo Canfora, Aniello Cimitile. An extensible system for source code analysis.IEEE Transactions on Software Engineering, September, 1998, 24(9): 256\u2013265.","journal-title":"IEEE Transactions on Software Engineering, September"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960761.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02960761\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02960761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:12:55Z","timestamp":1558566775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02960761"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":15,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["BF02960761"],"URL":"https:\/\/doi.org\/10.1007\/bf02960761","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}