乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T19:50:31Z","timestamp":1694807431637},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Program. Lang. Syst."],"published-print":{"date-parts":[[1994,3]]},"abstract":"For the class of applicative programming languages, efficient methods for reclaiming the memory occupied by released data structures constitute an important aspect of current implementations. The present article addresses the problem of memory reuse for logic programs through program analysis rather than by run-time garbage collection. The aim is to derive run-time properties that can be used at compile time to specialize the target code for a program according to a given set of queries and to automatically introduce destructive assignments in a safe and transparent way so that fewer garbage cells are created.<\/jats:p>\n The dataflow analysis is constructed as an application of abstract interpretation for logic programs. An abstract domain for describing structure-sharing and liveness properties is developed as are primitive operations that guarantee a sound and terminating global analysis. We explain our motivation for the design of the abstract domain, make explicit the underlying implementation assumptions, and discuss the precision of the results obtained by a prototype analyzer.<\/jats:p>","DOI":"10.1145\/174662.174664","type":"journal-article","created":{"date-parts":[[2002,10,7]],"date-time":"2002-10-07T13:52:47Z","timestamp":1033998767000},"page":"205-258","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Live-structure dataflow analysis for Prolog"],"prefix":"10.1145","volume":"16","author":[{"given":"Anne","family":"Mulkers","sequence":"first","affiliation":[{"name":"Katholieke Univ. Leuven, Heverlee, Belgium"}]},{"given":"William","family":"Winsborough","sequence":"additional","affiliation":[{"name":"Pennsylvania State Univ., University Park"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[{"name":"Katholieke Univ. Leuven, Heverlee, Belgium"}]}],"member":"320","published-online":{"date-parts":[[1994,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"~BARTH J.M. 1977. Shifting garbage collection overhead to compile time. Commun. ACM 20 7 ~(July) 513-518. 10.1145\/359636.359713 ~BARTH J.M. 1977. Shifting garbage collection overhead to compile time. Commun. ACM 20 7 ~(July) 513-518. 10.1145\/359636.359713","DOI":"10.1145\/359636.359713"},{"key":"e_1_2_1_2_1","unstructured":"~BIM 1990. ProLog by BIM--3.0.--Reference Manual. B-3078 BIM Everberg Belgium. ~BIM 1990. ProLog by BIM--3.0.--Reference Manual. B-3078 BIM Everberg Belgium."},{"key":"e_1_2_1_3_1","volume-title":"PROLOG L'Implantation Masson","author":"~BOIZUMAULT P.","unstructured":"~BOIZUMAULT , P. 1988. PROLOG L'Implantation Masson , Paris . In French . ~BOIZUMAULT, P. 1988. PROLOG L'Implantation Masson, Paris. In French."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80001-T"},{"key":"e_1_2_1_5_1","first-page":"669","volume-title":"Proceedings of the 5th international Conference and Symposium ~on Logic Programming. MIT Press","author":"~BRUYNOOGHE M.","year":"1988","unstructured":"~BRUYNOOGHE , M. , AND JANSSENS , G. 1988 . An instance of abstract interpretation integrating ~type and mode inferencing . In Proceedings of the 5th international Conference and Symposium ~on Logic Programming. MIT Press , Cambridge, Mass , 669 - 683 . ~BRUYNOOGHE, M., AND JANSSENS, G. 1988. An instance of abstract interpretation integrating ~type and mode inferencing. In Proceedings of the 5th international Conference and Symposium ~on Logic Programming. MIT Press, Cambridge, Mass, 669-683."},{"key":"e_1_2_1_6_1","unstructured":"~BRUYNOOGHE M. AND WINSBOROUGH W. 1992. Type graph unification. Rep. CW160 Dept. of ~Computer Science Katholieke Universiteit Leuven Belgium. ~BRUYNOOGHE M. AND WINSBOROUGH W. 1992. Type graph unification. Rep. CW160 Dept. of ~Computer Science Katholieke Universiteit Leuven Belgium."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 4th Symposium on ~Logzc Programming. IEEE Computer Society Press, Los Alamitos, Calif, 192-204","author":"~BRUYNOOGHE M.","year":"1987","unstructured":"~BRUYNOOGHE , M. , JANSSENS , G. , CALLEBAUT , A. , AND DEMOEN , B. 1987 . Abstract interpretation: ~Towards the global optimization of Prolog programs . In Proceedings of the 4th Symposium on ~Logzc Programming. IEEE Computer Society Press, Los Alamitos, Calif, 192-204 . ~BRUYNOOGHE, M., JANSSENS, G., CALLEBAUT, A., AND DEMOEN, B. 1987. Abstract interpretation: ~Towards the global optimization of Prolog programs. In Proceedings of the 4th Symposium on ~Logzc Programming. IEEE Computer Society Press, Los Alamitos, Calif, 192-204."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93585"},{"key":"e_1_2_1_10_1","first-page":"79","volume-title":"Proceedings of the 8th International ~Conference on Logic Programmzng. MIT Press","author":"~CODISH M.","year":"1991","unstructured":"~CODISH , M. , DAMS , D. , AND YARDENI , E. 1991 . Derivation and safety of an abstract unification~ ~algorithm for groundness and aliasing analysis . In Proceedings of the 8th International ~Conference on Logic Programmzng. MIT Press , Cambridge, Mass. , 79 - 93 . ~CODISH, M., DAMS, D., AND YARDENI, E. 1991. Derivation and safety of an abstract unification~ ~algorithm for groundness and aliasing analysis. In Proceedings of the 8th International ~Conference on Logic Programmzng. MIT Press, Cambridge, Mass., 79-93."},{"key":"e_1_2_1_12_1","volume-title":"Logw Programming","author":"~COLMERAUER A.","unstructured":"~COLMERAUER , A. 1982. Prolog and infinite trees . In Logw Programming . Academic Press , New ~York, 231- 251. ~COLMERAUER, A. 1982. Prolog and infinite trees. In Logw Programming. Academic Press, New ~York, 231- 251."},{"key":"e_1_2_1_13_1","unstructured":"~CORTESI A. AND FIL}~ G. 1991 Abstract interpretation of Prolog. The treatment of the ~built-ins. Rapporto Interno 11 Dept. of Mathematics Univ. of Padoua. ~CORTESI A. AND FIL}~ G. 1991 Abstract interpretation of Prolog. The treatment of the ~built-ins. Rapporto Interno 11 Dept. of Mathematics Univ. of Padoua."},{"key":"e_1_2_1_14_1","volume-title":"Proceedtngs of the 6th Annual IEEE Symposium ~on Logic in Computer Science. IEEE Computer Society Press, Los Alamltos, Calif., 322-327","author":"~CORTESI","year":"1991","unstructured":"~CORTESI , n., FIL }~, G., AND WINSBOROUGH , W. 1991 . Prop revisited: Propositional formula as ~abstract domain for groundness analysis . In Proceedtngs of the 6th Annual IEEE Symposium ~on Logic in Computer Science. IEEE Computer Society Press, Los Alamltos, Calif., 322-327 . ~CORTESI, n., FIL}~, G., AND WINSBOROUGH, W. 1991. Prop revisited: Propositional formula as ~abstract domain for groundness analysis. In Proceedtngs of the 6th Annual IEEE Symposium ~on Logic in Computer Science. IEEE Computer Society Press, Los Alamltos, Calif., 322-327."},{"key":"e_1_2_1_15_1","volume-title":"Program Flow Analysis: ~Theory and Applications","author":"~C P.","unstructured":"~C ouso% P. 1981. Semantic foundations of program analysis . In Program Flow Analysis: ~Theory and Applications . Prentice-Hall , Englewood Cliffs, N.J. , 303-342 ~Couso% P. 1981. Semantic foundations of program analysis. In Program Flow Analysis: ~Theory and Applications. Prentice-Hall, Englewood Cliffs, N.J., 303-342"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the International Workshop PLILP ~'92","author":"~C T, P","year":"1992","unstructured":"~C ouso T, P ., AND COUSOT , R. 1992 . Comparing the Galois connection and widening\/narrowing ~approaches to abstract interpretation . In Proceedings of the International Workshop PLILP ~'92 . Lecture Notes in Computer Science, vol 631. Springer-Verlag, Heidelberg, Germany, ~269-295. ~CousoT, P., AND COUSOT, R. 1992. Comparing the Galois connection and widening\/narrowing ~approaches to abstract interpretation. In Proceedings of the International Workshop PLILP ~'92. Lecture Notes in Computer Science, vol 631. Springer-Verlag, Heidelberg, Germany, ~269-295."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/146585.146624"},{"key":"e_1_2_1_19_1","volume-title":"Automatic mode inference for Prolog programs. In ~Proceedtngs of the 3rd Symposium on Logic Programming","author":"~DEBRAY S. K.","unstructured":"~DEBRAY , S. K. , AND WARREN , D.S. 1986a. Automatic mode inference for Prolog programs. In ~Proceedtngs of the 3rd Symposium on Logic Programming . IEEE Computer Society Press . Los ~Alamitos, Calif., 78-88. ~DEBRAY, S. K., AND WARREN, D.S. 1986a. Automatic mode inference for Prolog programs. In ~Proceedtngs of the 3rd Symposium on Logic Programming. IEEE Computer Society Press. Los ~Alamitos, Calif., 78-88."},{"key":"e_1_2_1_20_1","first-page":"490","volume-title":"Proceedings of the 3rd International Conference on Logic Programming. ~Lecture Notes in Computer Science","volume":"225","author":"~DEBRAY S. K.","year":"1986","unstructured":"~DEBRAY , S. K. , AND WARREN , D.S. 1986 b. Detection and optimization of functional computa- ~tions in Prolog . In Proceedings of the 3rd International Conference on Logic Programming. ~Lecture Notes in Computer Science , vol. 225 . Springer-Verlag, New York , 490 - 504 . ~DEBRAY, S. K., AND WARREN, D.S. 1986b. Detection and optimization of functional computa- ~tions in Prolog. In Proceedings of the 3rd International Conference on Logic Programming. ~Lecture Notes in Computer Science, vol. 225. Springer-Verlag, New York, 490-504."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the International Logic Programming Symposium MIT Press~ ~Cambridge, Mass., 455-469","author":"~FOSTER I.","year":"1991","unstructured":"~FOSTER , I. , AND WINSBOROUGH , W. 1991 . Copy avoidance through compile-time analysis and ~local reuse . In Proceedings of the International Logic Programming Symposium MIT Press~ ~Cambridge, Mass., 455-469 . ~FOSTER, I., AND WINSBOROUGH, W. 1991. Copy avoidance through compile-time analysis and ~local reuse. In Proceedings of the International Logic Programming Symposium MIT Press~ ~Cambridge, Mass., 455-469."},{"key":"e_1_2_1_23_1","unstructured":"GECSEC F. AND STEINDY M. 1984. Tree Automata. Akad(Smiai Kiad5. GECSEC F. AND STEINDY M. 1984. Tree Automata. Akad(Smiai Kiad5."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/74818.74821"},{"key":"e_1_2_1_25_1","first-page":"45","article-title":"A semantic model for reference counting and its abstraction. In Abstract ~Interpretation of Declarative Languages. Ellis Horwood","author":"~HUDAK P.","year":"1987","unstructured":"~HUDAK , P. 1987 . A semantic model for reference counting and its abstraction. In Abstract ~Interpretation of Declarative Languages. Ellis Horwood , Chichester , 45 - 62 . ~HUDAK, P. 1987. A semantic model for reference counting and its abstraction. In Abstract ~Interpretation of Declarative Languages. Ellis Horwood, Chichester, 45-62.","journal-title":"Chichester"},{"key":"e_1_2_1_26_1","first-page":"300","volume-title":"the 12th Annual ACM Symposium on Principles of Programming Languages. ~ACM","author":"~HUDAK P.","year":"1985","unstructured":"~HUDAK , P. , AND BLOSS , A. 1985 . The aggregate update problem in functional programming ~systems . In the 12th Annual ACM Symposium on Principles of Programming Languages. ~ACM , New York , 300 - 314 . 10.1145\/318593.318660 ~HUDAK, P., AND BLOSS, A. 1985. The aggregate update problem in functional programming ~systems. In the 12th Annual ACM Symposium on Principles of Programming Languages. ~ACM, New York, 300-314. 10.1145\/318593.318660"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322230"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037524"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/48022.48025"},{"key":"e_1_2_1_30_1","first-page":"154","volume-title":"Proceedings of the North American Conference on Logic Programming. MIT ~Press","author":"~JACOBS D.","year":"1989","unstructured":"~JACOBS , D. , AND LANGEN , A. 1989 . Accurate and efficient approximation of variable aliasing in ~logic programs . In Proceedings of the North American Conference on Logic Programming. MIT ~Press , Cambridge, Mass. , 154 - 165 . ~JACOBS, D., AND LANGEN, A. 1989. Accurate and efficient approximation of variable aliasing in ~logic programs. In Proceedings of the North American Conference on Logic Programming. MIT ~Press, Cambridge, Mass., 154-165."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90032-X"},{"key":"e_1_2_1_33_1","unstructured":"~JANSSENS G. DEMOEN B. AND WILLEMS Y. 1987. Execution mechanism for Prolog. Rep. ~CW53 Dept. of Computer Science Katholieke Univ. Leuven Belgium. ~JANSSENS G. DEMOEN B. AND WILLEMS Y. 1987. Execution mechanism for Prolog. Rep. ~CW53 Dept. of Computer Science Katholieke Univ. Leuven Belgium."},{"key":"e_1_2_1_34_1","first-page":"227","volume-title":"ESOP '90 Proceedings of the 3rd European Symposium on Programming. Lecture ~Notes in Computer Science","volume":"432","author":"~JENSEN T. P.","year":"1990","unstructured":"~JENSEN , T. P. , AND MORGENSEN , T. \/~. 1990 . A backwards analysis for compile-time garbage ~collection . In ESOP '90 Proceedings of the 3rd European Symposium on Programming. Lecture ~Notes in Computer Science , vol. 432 . Springer-Verlag, New York , 227 - 239 . ~JENSEN, T. P., AND MORGENSEN, T. \/~. 1990. A backwards analysis for compile-time garbage ~collection. In ESOP '90 Proceedings of the 3rd European Symposium on Programming. Lecture ~Notes in Computer Science, vol. 432. Springer-Verlag, New York, 227-239."},{"key":"e_1_2_1_35_1","volume-title":"Program Flow Analysis: Theory and Applications","author":"~JONES N. D.","unstructured":"~JONES , N. D. , AND MUCHNICK , S.S. 1981. Flow analysis and optimization of LISP-like struc- ~tures . In Program Flow Analysis: Theory and Applications . Prentice-Hall , Englewood Cliffs , ~N.J., 102-131. ~JONES, N. D., AND MUCHNICK, S.S. 1981. Flow analysis and optimization of LISP-like struc- ~tures. In Program Flow Analysis: Theory and Applications. Prentice-Hall, Englewood Cliffs, ~N.J., 102-131."},{"key":"e_1_2_1_36_1","first-page":"123","volume-title":"Abstract Interpretation of Declarative Languages. Ellis Horwood, ~Chichester","author":"~JONES N. D.","unstructured":"~JONES , N. D. , AND SgINDERG AARD , H. 1987. A semantic-based framework for the abstract ~interpretation of Prolog . In Abstract Interpretation of Declarative Languages. Ellis Horwood, ~Chichester , 123 - 142 . ~JONES, N. D., AND SgINDERGAARD, H. 1987. A semantic-based framework for the abstract ~interpretation of Prolog. In Abstract Interpretation of Declarative Languages. Ellis Horwood, ~Chichester, 123-142."},{"key":"e_1_2_1_37_1","first-page":"1490","volume-title":"Proceedings of the ~5th International Conference and Symposium on Logic Programming. MIT Press","author":"~KLUZNIAK F.","year":"1988","unstructured":"~KLUZNIAK , F. 1988 . Compile-time garbage collection for ground Prolog . In Proceedings of the ~5th International Conference and Symposium on Logic Programming. MIT Press , Cambridge, ~Mass. , 1490 - 1505 . ~KLUZNIAK, F. 1988. Compile-time garbage collection for ground Prolog. In Proceedings of the ~5th International Conference and Symposium on Logic Programming. MIT Press, Cambridge, ~Mass., 1490-1505."},{"key":"e_1_2_1_38_1","first-page":"788","volume-title":"Proceedings of the 4th International ~Conference on Logic Programming. MIT Press","author":"~KLU~NIAK F.","year":"1987","unstructured":"~KLU~NIAK , F. 1987 . Type synthesis for ground Prolog . In Proceedings of the 4th International ~Conference on Logic Programming. MIT Press , Cambridge, Mass. , 788 - 816 . ~KLU~NIAK, F. 1987. Type synthesis for ground Prolog. In Proceedings of the 4th International ~Conference on Logic Programming. MIT Press, Cambridge, Mass., 788-816."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53993"},{"key":"e_1_2_1_40_1","first-page":"587","article-title":"Unification revisited. In Foundations of ~Deductwe Databases and Logic Programming. Morgan Kaufmann, Los Altos","author":"~LASSEZ J.-L.","year":"1988","unstructured":"~LASSEZ , J.-L. , MAHER , M. J. , AND MARRIOTT , K. 1988 . Unification revisited. In Foundations of ~Deductwe Databases and Logic Programming. Morgan Kaufmann, Los Altos , Calif. , 587 - 625 . ~LASSEZ, J.-L., MAHER, M. J., AND MARRIOTT, K. 1988. Unification revisited. In Foundations of ~Deductwe Databases and Logic Programming. Morgan Kaufmann, Los Altos, Calif., 587-625.","journal-title":"Calif."},{"key":"e_1_2_1_41_1","first-page":"33","volume-title":"Proceedings of the 6th International ~Conference on Logtc Programmtng. MIT Press","author":"~MARI~ N, A","year":"1989","unstructured":"~MARI~ : N, A ., JANSSENS , G. , MULKERS , A. , AND BRUYNOOGHE , M. 1989 . The impact of abstract ~interpretation: An experiment in code generation . In Proceedings of the 6th International ~Conference on Logtc Programmtng. MIT Press , Cambridge, Mass. , 33 - 47 . ~MARI~:N, A., JANSSENS, G., MULKERS, A., AND BRUYNOOGHE, M. 1989. The impact of abstract ~interpretation: An experiment in code generation. In Proceedings of the 6th International ~Conference on Logtc Programmtng. MIT Press, Cambridge, Mass., 33-47."},{"key":"e_1_2_1_42_1","first-page":"601","article-title":"Semantics-based dataflow analysis of logic pro- ~grams. In Information Processing 89. North-Holland","author":"~MARRIOTT K.","year":"1989","unstructured":"~MARRIOTT , K. , AND SC tNDERG AARD , H. 1989 . Semantics-based dataflow analysis of logic pro- ~grams. In Information Processing 89. North-Holland , New York , 601 - 606 . ~MARRIOTT, K., AND SCtNDERGAARD, H. 1989. Semantics-based dataflow analysis of logic pro- ~grams. In Information Processing 89. North-Holland, New York, 601-606.","journal-title":"New York"},{"key":"e_1_2_1_43_1","unstructured":"~MELLtSH C.S. 1987. Abstract interpretation of Prolog programs. In Abstract Interpretation of ~Declarative Languageg. Elli~ I-Iorwood Chich~t~r 181-198_ ~MELLtSH C.S. 1987. Abstract interpretation of Prolog programs. In Abstract Interpretation of ~Declarative Languageg. Elli~ I-Iorwood Chich~t~r 181-198_"},{"key":"e_1_2_1_44_1","doi-asserted-by":"crossref","unstructured":"~MELLiSH C.S. 1985. Some global optimizations for a Prolog compiler j. Logic Program. 2 ~43-66. ~MELLiSH C.S. 1985. Some global optimizations for a Prolog compiler j. Logic Program. 2 ~43-66.","DOI":"10.1016\/0743-1066(85)90004-4"},{"key":"e_1_2_1_46_1","unstructured":"~MULKERS A. WlNSBOROUGH W. AND BRUYNOOGHE M. 1993. A live-structure data-flow analy- ~sis for Prolog: Theory. Rep. CW167 Dept. of Computer Science Katholieke Univ. Leuven ~Belgium. ~MULKERS A. WlNSBOROUGH W. AND BRUYNOOGHE M. 1993. A live-structure data-flow analy- ~sis for Prolog: Theory. Rep. CW167 Dept. of Computer Science Katholieke Univ. Leuven ~Belgium."},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the Internatmnal Conference on Computer ~Systems and Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., ~526-531","author":"~MULKERS A.","year":"1992","unstructured":"~MULKERS , A. , WINSBOROUGH , W. , AND BRUYNOOGHE , M. 1992 . Static analysis of logic programs ~to detect run-time garbage cells . In Proceedings of the Internatmnal Conference on Computer ~Systems and Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., ~526-531 . ~MULKERS, A., WINSBOROUGH, W., AND BRUYNOOGHE, M. 1992. Static analysis of logic programs ~to detect run-time garbage cells. In Proceedings of the Internatmnal Conference on Computer ~Systems and Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., ~526-531."},{"key":"e_1_2_1_48_1","first-page":"747","volume-title":"Proceedings of the 7th Interna- ~tmnal Conference on Logic Programming. MIT Press","author":"~MULKERS A.","year":"1990","unstructured":"~MULKERS , A. , WINSBOROUGH , W. , AND BRUYNOOGHE , M. 1990 a. Analysis of shared data struc- ~tures for compile-time garbage collection in logic programs . In Proceedings of the 7th Interna- ~tmnal Conference on Logic Programming. MIT Press , Cambridge, Mass. , 747 - 762 . ~MULKERS, A., WINSBOROUGH, W., AND BRUYNOOGHE, M. 1990a. Analysis of shared data struc- ~tures for compile-time garbage collection in logic programs. In Proceedings of the 7th Interna- ~tmnal Conference on Logic Programming. MIT Press, Cambridge, Mass., 747-762."},{"key":"e_1_2_1_49_1","unstructured":"~MULKERS A. WINSBOROUGH W. AND BRUYNOOGHE M. 1990b. Analysis of shared data struc- ~tures for compile-time garbage collection in logic programs (extended version). Rep. CWll7 ~Dept. of Computer Science Katholieke Univ. Leuven Belgium. ~MULKERS A. WINSBOROUGH W. AND BRUYNOOGHE M. 1990b. Analysis of shared data struc- ~tures for compile-time garbage collection in logic programs (extended version). Rep. CWll7 ~Dept. of Computer Science Katholieke Univ. Leuven Belgium."},{"key":"e_1_2_1_50_1","first-page":"166","volume-title":"Proceedings of the North American Conference on ~Logic Programming. MIT Press","author":"~MUTHUKUMAR K.","year":"1989","unstructured":"~MUTHUKUMAR , K. , AND HERMENEGILDO , M. 1989 . Determination of variable dependence infor- ~mation through abstract interpretation . In Proceedings of the North American Conference on ~Logic Programming. MIT Press , Cambridge, Mass. , 166 - 185 . ~MUTHUKUMAR, K., AND HERMENEGILDO, M. 1989. Determination of variable dependence infor- ~mation through abstract interpretation. In Proceedings of the North American Conference on ~Logic Programming. MIT Press, Cambridge, Mass., 166-185."},{"key":"e_1_2_1_51_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of ~the Internatwnal Workshop on Programming Language Implementation and Logic Program- ~ming","author":"~NILSSON U.","unstructured":"~NILSSON , U. 1990. Systematic semantic approximations of logic programs . In Proceedings of ~the Internatwnal Workshop on Programming Language Implementation and Logic Program- ~ming . Lecture Notes in Computer Science , vol. 456 . Springer-Verlag , New York , 293-306. ~NILSSON, U. 1990. Systematic semantic approximations of logic programs. In Proceedings of ~the Internatwnal Workshop on Programming Language Implementation and Logic Program- ~ming. Lecture Notes in Computer Science, vol. 456. Springer-Verlag, New York, 293-306."},{"key":"e_1_2_1_52_1","first-page":"116","volume-title":"Proceedings of ACM ~SIGPLAN '92 Conference on Programmtng Language Design and Implementatton. SIGPLAN ~Not. 27","volume":"7","author":"~PARK Y. G.","year":"1992","unstructured":"~PARK , Y. G. , AND GOLDBERG , B. 1992 . Escape analysis on lists . In Proceedings of ACM ~SIGPLAN '92 Conference on Programmtng Language Design and Implementatton. SIGPLAN ~Not. 27 , 7 , 116 - 127 . 10.1145\/143103.143125 ~PARK, Y. G., AND GOLDBERG, B. 1992. Escape analysis on lists. In Proceedings of ACM ~SIGPLAN '92 Conference on Programmtng Language Design and Implementatton. SIGPLAN ~Not. 27, 7, 116-127. 10.1145\/143103.143125"},{"issue":"4","key":"e_1_2_1_53_1","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF03037324","article-title":"The occur-check problem m Prolog","volume":"2","author":"~PLAISTED D.A.","year":"1984","unstructured":"~PLAISTED , D.A. 1984 . The occur-check problem m Prolog . J. New Gen. Comput. 2 , 4 , 309 - 322 . ~PLAISTED, D.A. 1984. The occur-check problem m Prolog. J. New Gen. Comput. 2, 4, 309-322.","journal-title":"J. New Gen. Comput."},{"key":"e_1_2_1_54_1","first-page":"327","volume-title":"ESOP '86 Proceedtngs of the European Symposium on Programming ~Lecture Notes in Computer Science","volume":"213","author":"~S~NDERGAARD H.","year":"1986","unstructured":"~S~NDERGAARD , H. 1986 . An application of abstract interpretation of logic programs: Occur ~check reduction . In ESOP '86 Proceedtngs of the European Symposium on Programming ~Lecture Notes in Computer Science , vol. 213 . Springer-Verlag, New York , 327 - 338 . ~S~NDERGAARD, H. 1986. An application of abstract interpretation of logic programs: Occur ~check reduction. In ESOP '86 Proceedtngs of the European Symposium on Programming ~Lecture Notes in Computer Science, vol. 213. Springer-Verlag, New York, 327-338."},{"key":"e_1_2_1_55_1","article-title":"A lattice-theoretical fixpoint theorem and its applications","author":"~TARSKL A.","year":"1955","unstructured":"~TARSKL A. 1955 . A lattice-theoretical fixpoint theorem and its applications . Paciftc J. Math. 5, ~285-309. ~TARSKL A. 1955. A lattice-theoretical fixpoint theorem and its applications. Paciftc J. Math. 5, ~285-309.","journal-title":"Paciftc J. Math. 5, ~285-309."},{"key":"e_1_2_1_57_1","volume-title":"Proceedings ~of the 7th International Conference on Logic Programming. MIT Press","author":"~TAYLOR A.","year":"1990","unstructured":"~TAYLOR , A. 1990 . LIPS on a MIPS, results from a Prolog compiler for a RISC . In Proceedings ~of the 7th International Conference on Logic Programming. MIT Press , Cambridge, Mass., ~174-185. ~TAYLOR, A. 1990. LIPS on a MIPS, results from a Prolog compiler for a RISC. In Proceedings ~of the 7th International Conference on Logic Programming. MIT Press, Cambridge, Mass., ~174-185."},{"key":"e_1_2_1_58_1","volume-title":"Proceedzngs ~of the 6th International Conference on Logic Programming","author":"~TAYLOR A.","unstructured":"~TAYLOR , A. 1989. Removal of dereferencing and trailing in Prolog compilation . In Proceedzngs ~of the 6th International Conference on Logic Programming . MIT Press , Cambridge, Mass ., ~48-60. ~TAYLOR, A. 1989. Removal of dereferencing and trailing in Prolog compilation. In Proceedzngs ~of the 6th International Conference on Logic Programming. MIT Press, Cambridge, Mass., ~48-60."},{"key":"e_1_2_1_59_1","unstructured":"~VAN CANEGHEM M. 1986. L'Anatomie de Prolog. InterEditions. In French. ~VAN CANEGHEM M. 1986. L'Anatomie de Prolog. InterEditions. In French."},{"key":"e_1_2_1_61_1","first-page":"501","volume-title":"Proceedings of the 1990 North Amertcan Conference on Logic ~Programming. MIT Press","author":"~VAN ROY P. L.","year":"1990","unstructured":"~VAN ROY , P. L. , AND DESPAIN , A. M. 1990 . The benefits of global dataflow analysis for an ~optimizing Prolog compiler . In Proceedings of the 1990 North Amertcan Conference on Logic ~Programming. MIT Press , Cambridge, Mass. , 501 - 515 . ~VAN ROY, P. L., AND DESPAIN, A. M. 1990. The benefits of global dataflow analysis for an ~optimizing Prolog compiler. In Proceedings of the 1990 North Amertcan Conference on Logic ~Programming. MIT Press, Cambridge, Mass., 501-515."},{"key":"e_1_2_1_62_1","first-page":"275","article-title":"Finding temporary terms in Prolog programs. In Proceed- ~~ng~ of the International Conference on Fifth Generation Computer Sy~tern~ Ohm~ha, LTD and ~North-Holland","author":"VATAJA P.","year":"1984","unstructured":"VATAJA , P. , AND UKKONEN , E. 1984 . Finding temporary terms in Prolog programs. In Proceed- ~~ng~ of the International Conference on Fifth Generation Computer Sy~tern~ Ohm~ha, LTD and ~North-Holland , Tokyo\/Amsterdam , 275 - 282 . VATAJA, P., AND UKKONEN, E. 1984. Finding temporary terms in Prolog programs. In Proceed- ~~ng~ of the International Conference on Fifth Generation Computer Sy~tern~ Ohm~ha, LTD and ~North-Holland, Tokyo\/Amsterdam, 275-282.","journal-title":"Tokyo\/Amsterdam"}],"container-title":["ACM Transactions on Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/174662.174664","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T18:12:19Z","timestamp":1672337539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/174662.174664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["10.1145\/174662.174664"],"URL":"https:\/\/doi.org\/10.1145\/174662.174664","relation":{},"ISSN":["0164-0925","1558-4593"],"issn-type":[{"value":"0164-0925","type":"print"},{"value":"1558-4593","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]},"assertion":[{"value":"1994-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}