{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:03Z","timestamp":1725664983595},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:10Z","timestamp":1330294690000},"page":"128-142","source":"Crossref","is-referenced-by-count":7,"title":["A freeness and sharing analysis of logic programs based on a pre-interpretation"],"prefix":"10.1007","author":[{"given":"Maurice","family":"Bruynooghe","sequence":"first","affiliation":[]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[]},{"given":"Dmitri","family":"Boulanger","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Denecker","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Mulkers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"D. Boulanger and M. Bruynooghe. A systematic construction of abstract domains. In B. Le Charlier, ed., Proceedings of the first International Static Analysis Symposium, SAS'94, pp. 61\u201377. LNCS 864, Springer-Verlag, Sept. 1994.","DOI":"10.1007\/3-540-58485-4_33"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"D. Boulanger, M. Bruynooghe, and M. Denecker. Abstracting S-semantics using a model-theoretic approach. In M. Hermenegildo and J. Penjam, ed., Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, pp. 432\u2013446. LNCS 844, Springer-Verlag, Sept. 1994.","DOI":"10.1007\/3-540-58402-1_30"},{"key":"10_CR3","unstructured":"D. Boulanger. Complete Analysis for Definite Logic Programs. Proc. 11th Workshop Logische Programmierung, Technische Universit\u00e4t Wien, GMD-Studien Nr.270, September, 1995, 101\u2013110."},{"key":"10_CR4","first-page":"153","volume-title":"LNCS 724","author":"M. Bruynooghe","year":"1993","unstructured":"M. Bruynooghe and M. Codish. Freeness, sharing, linearity and correctness \u2014 all at once. In P. Cousot, M. Falaschi, G. Fil\u00e9, and A. Rauzy, ed., Proceedings of the Third International Workshop on Static Analysis, LNCS 724, pp. 153\u2013164, Padova, Italy, Sept. 1993. Springer-Verlag."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, M. Codish and A. Mulkers. Abstracting Unification: A key step in the design of logic program analyses. In Computer Science Today, Recent Trends and Developments, Jan van Leeuwen ed. LNCS Vol 1000, pp. 406\u2013425, 1995. Springer-Verlag.","DOI":"10.1007\/BFb0015257"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"M. Bruynooghe, B. Demoen, D. Boulanger, M. Denecker and A. Mulkers. A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. Report CW 233, Dept. Computer Science, KULEUVEN, May 1996.","DOI":"10.1007\/3-540-61739-6_38"},{"key":"10_CR7","unstructured":"F. Bueno, M. Garc\u00eda de la Banda and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Logic Programming Symposium, pp320\u2013336, 1994, MIT Press."},{"issue":"2","key":"10_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0743-1066(95)00064-X","volume":"25","author":"M. Codish","year":"1995","unstructured":"M. Codish and B. Demoen. Analysing logic programs using \u201cprop\u221d-ositional logic programs and a magic wand. The Journal of Logic Programming, 25(2):249\u2013274, Dec. 1995. A preliminary version appeared in proc. ILPS'93.","journal-title":"The Journal of Logic Programming"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"M. Codish and B. Demoen. Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop. In B. Le Charlier, ed., Proceedings of the first International Static Analysis Symposium, SAS'94, PP-281\u2013296. LNCS 864, Springer-Verlag, Sept. 1994.","DOI":"10.1007\/3-540-58485-4_47"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"M. Codish, M. Garc\u00eda de la Banda, M. Bruynooghe, and M. Hermenegildo. Goal dependent vs. goal independent analysis of logic programs. In Proceedings of the International Conference on Logic Programming and Automated Reasoning, LPAR'94, LNAI 822, pp. 305\u2013319. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58216-9_46"},{"issue":"1","key":"10_CR11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/200994.200998","volume":"17","author":"M. Codish","year":"1995","unstructured":"M. Codish, A. Mulkers, M. Bruynooghe, M. Garc\u00eda de la Banda and M. Hermenegildo. Improving Abstract Interpretation by Combining Domains. ACM Trans. Prog.Lang. Syst. 17(1):28\u201344, 1995.","journal-title":"ACM Trans. Prog.Lang. Syst."},{"issue":"2","key":"10_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0743-1066(95)00123-9","volume":"27","author":"A. Cortesi","year":"1996","unstructured":"A. Cortesi, G. Fil\u00e9 and W. Winsborough. Optimal groundness analysis using propositional formulas. The Journal of Logic Programming, 27(2):103\u2013179, May 1996. A preliminary version appeared in ICALP92.","journal-title":"The Journal of Logic Programming"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"P. Cousot and 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, pp. 238\u2013252, Los Angeles, 1977.","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. The Journal of Logic Programming, 13(2 and 3):103\u2013179, 1992.","journal-title":"The Journal of Logic Programming"},{"key":"10_CR15","unstructured":"G. Fil\u00e9 and F. Ranzato. Improving abstract interpretations by systematic lifting to the powerset. In M. Bruynooghe, ed., Proceedings of the 1994 International Logic Programming Symposium, pp. 655\u2013669, MIT Press."},{"key":"10_CR16","unstructured":"J. Gallagher, D. Boulanger, and H. Saglam. Practical model-based static analysis for definite logic programs. In J. Lloyd ed., Proceedings of the 1995 International Symposium on Logic Programming, pp. 351\u2013365, 1995, MIT Press."},{"issue":"3","key":"10_CR17","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0743-1066(95)00038-0","volume":"25","author":"R. Giacobazzi","year":"1995","unstructured":"R. Giacobazzi, S.K.Debray, and G. Levi. Generalized semantics and abstract interpretation for constraint logic programs. The Journal Logic Programming, 25(3):191\u2013247, Dec.1995. A preliminary version appeared in Proc. FGCS92.","journal-title":"The Journal Logic Programming"},{"issue":"2","key":"10_CR18","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0743-1066(92)90034-Z","volume":"13","author":"D. Jacobs","year":"1992","unstructured":"D. Jacobs and A. Langen. Static analysis of logic programs for independent AND-parallelism. The Journal of Logic Programming, 13(2 & 3):291\u2013314, 1992.","journal-title":"The Journal of Logic Programming"},{"key":"10_CR19","unstructured":"G. Janssens, M. Bruynooghe, V. Dumortier. A blueprint for an abstract machine for abstract interpretation of (constraint) logic programs. In J. Lloyd ed., Proceedings of the 1995 International Symposium on Logic Programming, pp. 336\u2013350, 1995, MIT Press."},{"key":"10_CR20","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer Series: Symbolic Computation \u2014 Artificial Intelligence. Springer-Verlag, second, extended edition, 1987."},{"issue":"2","key":"10_CR21","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):258\u2013282, Apr. 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR22","first-page":"781","volume-title":"On the practicality of abstract equation systems","author":"A. Mulkers","year":"1995","unstructured":"A. Mulkers, W. Simoens, G. Janssens, and M. Bruynooghe. On the practicality of abstract equation systems. In L. Sterling, editor, Proceedings of the International Conference on Logic Programming, pp. 781\u2013795, Kanagawa, Japan, 1995. MIT Press."},{"key":"10_CR23","first-page":"49","volume-title":"Combined determination of sharing and freeness of program variables through abstract interpretation","author":"K. Muthukumar","year":"1991","unstructured":"K. Muthukumar and M. Hermenegildo. Combined determination of sharing and freeness of program variables through abstract interpretation. In K. Furukawa, editor, Proceedings of the Eighth International Conference on Logic Programming, pp. 49\u201363, Paris, France, 1991. MIT Press."},{"key":"10_CR24","first-page":"327","volume-title":"Lecture Notes in Computer Science 213","author":"H. S\u00d8ndergaard","year":"1986","unstructured":"H. S\u00d8ndergaard. An application of abstract interpretation of logic programs: Occur check reduction. In B. Robinet and R. Wilhelm, eds., ESOP'86 Proceedings European Symposium on Programming, Lecture Notes in Computer Science 213, pp. 327\u2013338. Springer-Verlag, N.Y., 1986."},{"key":"10_CR25","unstructured":"S. Sudarshan and R. Ramakrishnan. Optimizations of bottom-up evaluation with non-ground terms. In D. Miller, ed. Proceedings of the 1993 International Symposium on Logic Programming, pp. 557\u2013574, 1993, MIT Press."},{"key":"10_CR26","unstructured":"J. D. Ullman. Principles of Database Systems. Computer Science Press, 1982."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:05Z","timestamp":1605647405000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}