{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T19:12:17Z","timestamp":1724440337483},"reference-count":50,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":4827,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0743-1066(99)00058-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T01:42:40Z","timestamp":1027647760000},"page":"123-156","source":"Crossref","is-referenced-by-count":7,"title":["Interprocedural analyses: a comparison"],"prefix":"10.1016","volume":"43","author":[{"given":"Helmut","family":"Seidl","sequence":"first","affiliation":[]},{"given":"Christian","family":"Fecht","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0743-1066(99)00058-8_BIB1","doi-asserted-by":"crossref","unstructured":"M. Alt, F. Martin, Generation of efficient interprocedural analyzers with PAG, in: Proceedings of the Seconnd Static Analysis Symposium (SAS), LNCS 983, Springer, Berlin, 1995, pp. 33\u201350","DOI":"10.1007\/3-540-60360-3_31"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB2","doi-asserted-by":"crossref","unstructured":"F. Bourdoncle, Interprocedural Abstract Interpretation of block-structured Languages with nested procedures, aliasing and recursivity, in: International Workshop on Programming Language Implementation and Logic Programming (PLILP), LNCS 456, Springer, Berlin, 1990, pp. 307\u2013323","DOI":"10.1007\/BFb0024192"},{"issue":"4","key":"10.1016\/S0743-1066(99)00058-8_BIB3","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1017\/S0956796800000496","article-title":"Abstract interpretation by dynamic partioning","volume":"2","author":"Bourdoncle","year":"1992","journal-title":"Journal of Functional Programming"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB4","unstructured":"F. Bourdoncle, S\u00e9mantiques des Langages Imp\u00e9ratifs d'Ordre Sup\u00e9rieur et Interpr\u00e9tation Abstraite Ph.D. thesis, \u00c9cole Polytechnique, Paris, 1992"},{"issue":"3","key":"10.1016\/S0743-1066(99)00058-8_BIB5","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0743-1066(94)00029-6","article-title":"Evaluation of the domain Prop","volume":"23","author":"Le Charlier","year":"1995","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB6","doi-asserted-by":"crossref","unstructured":"B. Le Charlier, P. Van Hentenryck, A universal top-down fixpoint algorithm, Technical Report CS-92-25, Brown University, Providence, RI 02912, 1992","DOI":"10.1109\/ICCL.1992.185476"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB7","unstructured":"B. Le Charlier, P. VanHentenryck, A generic fixpoint semantics for Prolog and its application for abstract interpretation, Technical Report, Institute of Computer Science, University of Namur, Belgium, (also Brown University), January 1993. Presented at the LOPSTR'93\u2013COMPUNET Program Development Joint Workshop, Louvain la Neuve, Belgium, July 1993, Published in Proc. of JFLP'95, Dijon, France, June 1995"},{"issue":"1","key":"10.1016\/S0743-1066(99)00058-8_BIB8","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/174625.174627","article-title":"Experimental evaluation of a generic abstract interpretation algorithm for Prolog","volume":"16","author":"Le Charlier","year":"1994","journal-title":"ACM Transactions of Programming Languages and Systems (TOPLAS)"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB9","unstructured":"B. Le Charlier, S. Rossi, P. VanHentenryck, An abstract interpretation framework which accurately handles Prolog search-rule and the cut, in: M. Bruynooghe (Ed.), Proceedings of the International Logic Programming Symposium (ILPS'94), Ithaca NY, USA, November 1994, MIT Press, Cambridge, MA"},{"issue":"2","key":"10.1016\/S0743-1066(99)00058-8_BIB10","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0743-1066(95)00123-9","article-title":"Optimal groundness analysis using propositional logic","volume":"27","author":"Cortesi","year":"1996","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB11","unstructured":"P. Cousot, Semantic foundations of program analysis, in: S.S. Muchnick, N.D. Jones (Eds.), Program Flow Analysis: Theory and Applications, ch. 10, Prentice-Hall, Englewood Cliffs, NJ, 1981, pp. 303\u2013342"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB12","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings of the Fourth ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York, 1977, pp. 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB13","series-title":"Formal Descriptions of Programming Concepts","first-page":"237","article-title":"Static determination of dynamic properties of recursive programs","author":"Cousot","year":"1977"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB14","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, Abstract interpretation and application to logic programs, Journal of Logic Programming 13 (2\/3) 1992","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB15","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot, Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages, in: Proceedings of the International IEEE Conference on Computer Languages (ICCL), 1994, pp. 95\u2013112","DOI":"10.1109\/ICCL.1994.288389"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB16","unstructured":"Eric Villemonte de la Clergerie, Automates \u00e0 Piles et Programmation Dynamique: DyALog, Application \u00e0 la Programmation en Logique, Ph.D. thesis, Universit\u00e9 Paris VII, Paris, France, June 1993"},{"issue":"1\/2","key":"10.1016\/S0743-1066(99)00058-8_BIB17","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0304-3975(97)00272-7","article-title":"Information flow in tabular interpretations for generalized pushdown automata","volume":"199","author":"Villemonte de la Clergerie","year":"1998","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB18","doi-asserted-by":"crossref","unstructured":"S.K. Debray, Todd Proebsting, Inter-procedural control flow analysis of first order programs with tail call optimization, ACM Transactions on Programming Languages and Systems (TOPLAS) 19(4) (1997) 568\u2013585","DOI":"10.1145\/262004.262006"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB19","doi-asserted-by":"crossref","unstructured":"A. Deutsch, On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, in: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York, 1990, pp. 157\u2013168","DOI":"10.1145\/96709.96725"},{"issue":"4","key":"10.1016\/S0743-1066(99)00058-8_BIB20","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1002\/spe.4380230406","article-title":"Generic abstract interpretation algorithms for Prolog: two optimization techniques and their experimental evaluation","volume":"23","author":"Englebert","year":"1993","journal-title":"Software \u2013 Practice and Experience"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB21","unstructured":"C. Fecht, Abstrakte Interpretation logischer Programme: Theorie, Implementierung, Generierung, Ph.D. thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1997"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB22","doi-asserted-by":"crossref","unstructured":"C. Fecht, H. Seidl, An even faster solver for general systems of equations, in: Proceedings of the Third Static Analysis Symposium (SAS), LNCS 1145, Springer, Berlin, 1996, pp. 189\u2013204. Long version to appear in Science of Computer Programming (SCP)","DOI":"10.1007\/3-540-61739-6_42"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB23","doi-asserted-by":"crossref","unstructured":"C. Fecht, H. Seidl, Propagating differences: an efficient new fixpoint algorithm for distributive constraint systems, in: European Symposium on Programming (ESOP), LNCS 1381, Springer, Berlin, 1998, pp. 90\u2013104 Long version in Northern Journal of Computing 5 (1998) 304\u2013329","DOI":"10.1007\/BFb0053565"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB24","unstructured":"G. Fil\u00e9, F. Ranzato, Improving abstract interpretations by systematic lifting to the powerset, in: Proceedings of the International Symposium on Logic Programming (SLP), MIT Press, Cambridge, MA, 1994, pp. 655\u2013669"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB25","series-title":"Flow Analysis of Computer Programs","author":"Hecht","year":"1977"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB26","unstructured":"P. Van Hentenryck, O. Degimbe, B. Le Charlier, L. Michel, Abstract Interpretation of Prolog Based on OLDT Resolution, Technical Report CS-93-05, Brown University, Providence, RI 02912, 1993"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB27","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, O. Degimbe, B. Le Charlier, L. Michel, The impact of granularity in abstract interpretation of Prolog, in: Proceedings of the Static Analysis, Third International Workshop (WSA), LNCS 724, Springer, Berlin, 1993, pp. 1\u201314","DOI":"10.1007\/3-540-57264-3_25"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB28","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T.W. Reps, M. Sagiv, Precise interprocedural dataflow analysis via graph reachability, in: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York, 1995, pp. 49\u201361","DOI":"10.1145\/222124.222146"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB29","doi-asserted-by":"crossref","unstructured":"S. Horwitz, T.W. Reps, M. Sagiv, Precise interprocedural dataflow analysis with applications to constant propagation, in: Proceedings of the Sixth International Conference on Theory and Practice of Software Development (TAPSOFT), LNCS 915, Springer, Berlin, 1995, pp. 651\u2013665","DOI":"10.1007\/3-540-59293-8_226"},{"issue":"1\/2","key":"10.1016\/S0743-1066(99)00058-8_BIB30","first-page":"131","article-title":"Precise interprocedural dataflow analysis with applications to constant propagation","volume":"167","author":"Horwitz","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB31","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0167-6423(94)00008-5","article-title":"Reversing abstract interpretations","volume":"22","author":"Hughes","year":"1994","journal-title":"Science of Computer Programming (SCP)"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB32","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","article-title":"Static analysis of logic programs for independent AND parallelism","volume":"13","author":"Jacobs","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB33","doi-asserted-by":"crossref","unstructured":"N.D. Jones, S.S. Muchnick, A flexible approach to interprocedural data flow analysis and programs with recursive data structures, in: Proceedings of the Ninth ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York, 1982, pp. 66\u201374","DOI":"10.1145\/582153.582161"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB34","doi-asserted-by":"crossref","unstructured":"N.D. Jones, A. Mycroft, Data flow analysis of applicative programs using minimal function graphs, in: Proceedings of the 13th ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York, 1986, pp. 296\u2013306","DOI":"10.1145\/512644.512672"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB35","doi-asserted-by":"crossref","unstructured":"T. Kanamori, T.Kawamura, Abstract interpretation based on OLDT resolution, Journal of Logic Programming 15(1\/2) (1993) 1\u201330","DOI":"10.1016\/0743-1066(93)90011-5"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB36","first-page":"211","article-title":"Towards a tool kit for the automatic generation of interprocedural data flow analyses","volume":"4","author":"Knoop","year":"1996","journal-title":"Journal of Programming Languages"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB37","doi-asserted-by":"crossref","unstructured":"J. Knoop, B. Steffen, The interprocedural coincidence theorem, in: Proceedings of the Fourth International Conference on Compiler Construction, LNCS 641, Springer, Berlin, 1992, pp. 125\u2013140","DOI":"10.1007\/3-540-55984-1_13"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB38","doi-asserted-by":"crossref","unstructured":"A. Krall, T. Berger, Incremental global compilation of Prolog with the Vienna abstract machine, in: International Conference on Logic Programming (ICLP), MIT Press, Cambridge, MA, 1995, pp. 333\u2013347","DOI":"10.7551\/mitpress\/4298.003.0038"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB39","unstructured":"B. Lang, Complete Evaluation of Horn Clauses: an Automata Theoretic Approach, Technical Report 913, INRIA, 1988"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB40","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/176454.176519","article-title":"Precise and efficient groundness analysis for logic programs","volume":"2","author":"Marriott","year":"1993","journal-title":"ACM Letters on Programming Languages and Systems (LOPLAS"},{"issue":"3","key":"10.1016\/S0743-1066(99)00058-8_BIB41","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/177492.177650","article-title":"Denotational abstract interpretation of logic programs","volume":"16","author":"Marriott","year":"1994","journal-title":"ACM Transactions of Programming Languages and Systems (TOPLAS)"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB42","doi-asserted-by":"crossref","unstructured":"F. Martin, M. Alt, R. Wilhelm, Analysis of loops, in: Proceedings of the Compiler Construction, Seventh International Conference, LNCS 1383, Springer, Berlin, 1998, pp. 80\u201394","DOI":"10.1007\/BFb0026424"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB43","doi-asserted-by":"crossref","unstructured":"U. Nilsson, Systematic semantic approximations of logic programs, in: International Workshop on Programming Language Implementation and Logic Programming (PLILP), LNCS 456, Springer, Berlin, 1990, pp. 293\u2013306","DOI":"10.1007\/BFb0024191"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB44","unstructured":"T.W. Reps, Personal Communication, February 1997"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB45","doi-asserted-by":"crossref","unstructured":"T. Sato, H. Tamaki, OLD resolution with tabulation, in: E.Y. Shapiro (Ed.), Proceedings of the Third International Conference on Logic Programming (ICLP), LNCS 225, Springer, Berlin, 1986, pp. 84\u201398","DOI":"10.1007\/3-540-16492-8_66"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB46","doi-asserted-by":"crossref","unstructured":"D.A. Schmidt, Abstract interpretation of small-step semantics, in: M. Dam (Ed.) Proceedings of the Fifth LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, LNCS 1192, Springer, Berlin, 1996","DOI":"10.1007\/3-540-62503-8_4"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB47","unstructured":"H. Seidl, C. Fecht, Disjunctive completion is not \u201coptimal\u201d, in: International Logic Programming Symposium (ILPS), MIT Press, Cambridge, MA, 1997, p. 408"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB48","unstructured":"H. Seidl, C. Fecht, Interprocedural analysis based on PDAs, in: Verification, Model Checking and Abstract Interpretation, A Workshop in Association with ILPS'97, 1997"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB49","unstructured":"M. Sharir, A. Pnueli, Two approaches to interprocedural data flow analysis, in: S.S. Muchnick, N.D. Jones (Eds), Program Flow Analysis: Theory and Applications, ch. 7, Prentice-Hall, Englewood Cliffs, NJ, 1981, pp. 189\u2013234"},{"key":"10.1016\/S0743-1066(99)00058-8_BIB50","doi-asserted-by":"crossref","unstructured":"H. S\u00f8ndergaard, An application of abstract interpretation of logic programs: occur check reduction, in: Proceedings of the First European Symposium on Programming (ESOP), LNCS 213, Springer, Berlin, 1986, pp. 327\u2013338","DOI":"10.1007\/3-540-16442-1_25"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000588?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0743106699000588?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T04:07:53Z","timestamp":1704168473000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0743106699000588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":50,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0743106699000588"],"URL":"https:\/\/doi.org\/10.1016\/s0743-1066(99)00058-8","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}