{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:06:22Z","timestamp":1743084382888,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221524"},{"type":"electronic","value":"9783540259510"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-25951-0_8","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T06:46:58Z","timestamp":1280904418000},"page":"233-260","source":"Crossref","is-referenced-by-count":4,"title":["A Generic Framework for Context-Sensitive Analysis of Modular Programs"],"prefix":"10.1007","author":[{"given":"Germ\u00e1n","family":"Puebla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Correas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Garc\u00eda","family":"de la Banda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Marriott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter J.","family":"Stuckey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"F. Besson and T. Jensen","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_2","volume-title":"Static Analysis","author":"F. Besson","year":"2003","unstructured":"Besson, F., Jensen, T.: Modular class analysis with datalog. In: Cousot, R. (ed.) SAS 2003. F. Besson and T. Jensen, vol.\u00a02694, Springer, Heidelberg (2003)"},{"issue":"1,2","key":"8_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)90200-3","volume":"122","author":"A. Bossi","year":"1994","unstructured":"Bossi, A., Gabbrieli, M., Levi, G., Meo, M.C.: A compositional semantics for logic programs. Theoretical Computer Science\u00a0122(1,2), 3\u201347 (1994)","journal-title":"Theoretical Computer Science"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-61055-3_32","volume-title":"Programming Languages and Systems - ESOP \u201996","author":"F. Bueno","year":"1996","unstructured":"Bueno, F., Cabeza, D., Hermenegildo, M., Puebla, G.: Global Analysis of Standard Prolog Programs. In: Riis Nielson, H. (ed.) ESOP 1996. LNCS, vol.\u00a01058, pp. 108\u2013124. Springer, Heidelberg (1996)"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-45142-0_6","volume-title":"Logic Based Program Synthesis and Transformation","author":"F. Bueno","year":"2001","unstructured":"Bueno, F., la de Banda, M.G., Hermenegildo, M.V., Marriott, K., Puebla, G., Stuckey, P.J.: A Model for Inter-module Analysis and Optimizing Compilation. In: Lau, K.-K. (ed.) LOPSTR 2000. LNCS, vol.\u00a02042, pp. 86\u2013102. Springer, Heidelberg (2001)"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/174625.174627","volume":"16","author":"B. Le Charlier","year":"1994","unstructured":"Le Charlier, B., Van Hentenryck, P.: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog. ACM Transactions on Programming Languages and Systems\u00a016(1), 35\u2013101 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Codish, M., Debray, S.K., Giacobazzi, R.: Compositional analysis of modular logic programs. In: Proc. POPL 1993 (1993)","DOI":"10.1145\/158511.158703"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Fourth ACM Symposium on Principles of Programming Languages, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"de la Banda, M.J.G., Demoen, B., Marriott, K., Stuckey, P.J.: To the Gates of HAL: A HAL Tutorial. In: International Symposium on Functional and Logic Programming, pp. 47\u201366 (2002)","DOI":"10.1007\/3-540-45788-7_3"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"8_CR11","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1145\/295656.295661","volume":"20","author":"A. Kelly","year":"1998","unstructured":"Kelly, A., Macdonald, A., Marriott, K., S\u00f8ndergaard, H., Stuckey, P.J.: Optimizing compilation for CLP(R). ACM Transactions on Programming Languages and Systems\u00a020(6), 1223\u20131250 (1998)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR12","unstructured":"Muthukumar, K., Hermenegildo, M.: Deriving A Fixpoint Computation Algorithm for Top-down Abstract Interpretation of Logic Programs. Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759 (April 1990)"},{"issue":"2\/3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming\u00a013(2\/3), 315\u2013347 (1992)","journal-title":"Journal of Logic Programming"},{"key":"8_CR14","unstructured":"Nethercote, N.: The Analysis System of HAL. Master\u2019s thesis, Monash University (2002)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-45789-5_14","volume-title":"Static Analysis","author":"C.W. Probst","year":"2002","unstructured":"Probst, C.W.: Modular control flow analysis for libraries. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 165\u2013179. Springer, Heidelberg (2002)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1007\/3-540-61739-6_47","volume-title":"Static Analysis","author":"G. Puebla","year":"1996","unstructured":"Puebla, G., Hermenegildo, M.: Optimized Algorithms for the Incremental Analysis of Logic Programs. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, pp. 270\u2013284. Springer, Heidelberg (1996)"},{"issue":"2&3","key":"8_CR18","first-page":"279","volume":"41","author":"G. Puebla","year":"1999","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Multiple Specialization and its Application to Program Parallelization. J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs\u00a041(2&3), 279\u2013316 (1999)","journal-title":"J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Puebla, G., Hermenegildo, M.: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. In: Special Issue on Optimization and Implementation of Declarative Programming Languages, March 2000. Electronic Notes in Theoretical Computer Science, vol.\u00a030, Elsevier - North Holland (2000)","DOI":"10.1016\/S1571-0661(05)80637-1"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/777388.777393","volume-title":"ACM Partial Evaluation and Semantics based Program Manipulation (PEPM 2003)","author":"G. Puebla","year":"2003","unstructured":"Puebla, G., Hermenegildo, M.: Abstract Specialization and its Applications. In: ACM Partial Evaluation and Semantics based Program Manipulation (PEPM 2003), June 2003, pp. 29\u201343. ACM Press, New York (2003) (Invited talk)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-48166-4_15","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Rountev","year":"1999","unstructured":"Rountev, A., Ryder, B.G., Landi, W.: Data-flow analysis of program fragments. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 235\u2013252. Springer, Heidelberg (1999)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computer Software","author":"Y.M. Tang","year":"1994","unstructured":"Tang, Y.M., Jouvelot, P.: Separate abstract interpretation for control-flow analysis. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, Springer, Heidelberg (1994)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Vanhoof, W., Bruynooghe, M.: Towards modular binding-time analysis for firstorder mercury. In: Special Issue on Optimization and Implementation of Declarative Programming Languages, March 2000. Electronic Notes in Theoretical Computer Science, vol.\u00a030, Elsevier - North Holland (2000)","DOI":"10.1016\/S1571-0661(05)80639-5"}],"container-title":["Lecture Notes in Computer Science","Program Development in Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25951-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T20:36:51Z","timestamp":1674506211000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-25951-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221524","9783540259510"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25951-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}