{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:48Z","timestamp":1725455988453},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055940X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017195","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:37:21Z","timestamp":1132645041000},"page":"264-276","source":"Crossref","is-referenced-by-count":1,"title":["A compile-time memory-reuse scheme for concurrent logic programs"],"prefix":"10.1007","author":[{"given":"S.","family":"Duvvuru","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sundararajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. V. S.","family":"Sastry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"PhD thesis","author":"A. Bloss","year":"1989","unstructured":"A. Bloss. Path Analysis and Optimization of Non-Strict Functional Languages. PhD thesis, Yale University, Dept. of Computer Science, New Haven, May 1989."},{"key":"14_CR2","first-page":"192","volume-title":"International Symposium on Logic Programming","author":"M. Bruynooghe","year":"1987","unstructured":"M. Bruynooghe et al. Abstract Interpretation: Towards the Global Optimization of Prolog Programs. In International Symposium on Logic Programming, pages 192\u2013204. San Francisco, IEEE Computer Society, August 1987."},{"key":"14_CR3","first-page":"296","volume-title":"SIGPLAN Conference on Programming Language Design and Implementation","author":"D. R. Chase","year":"1990","unstructured":"D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of Pointers and Structures. In SIGPLAN Conference on Programming Language Design and Implementation, pages 296\u2013309, White Plains, NY, June 1990. ACM Press."},{"key":"14_CR4","unstructured":"T. Chikayama and Y. Kimura. Multiple Reference Management in Flat GHC. In International Conference on Logic Programming, pages 276\u2013293. University of Melbourne, MIT Press, May 1987."},{"key":"14_CR5","first-page":"215","volume-title":"North American Conference on Logic Programming","author":"C. Codognet","year":"1990","unstructured":"C. Codognet, P. Codognet, and M. Corsini. Abstract Interpretation of Concurrent Logic Languages. In North American Conference on Logic Programming, pages 215\u2013232. Austin, MIT Press, October 1990."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1145\/360336.360345","volume":"19","author":"L. P. Deutsch","year":"1976","unstructured":"L. P. Deutsch and D. G. Bobrow. An Efficient Incremental, Automatic Garbage Collector. Communications of the ACM, 19:522\u2013526, September 1976.","journal-title":"Communications of the ACM"},{"key":"14_CR7","unstructured":"S. Duvvuru. Monaco: A High Performance Architecture for Concurrent Logic Programs. Master's thesis, University of Oregon, June 1992."},{"key":"14_CR8","unstructured":"I. Foster and W. Winsborough. A Computational Collecting Semantics for Strand. Research report, Argonne National Laboratory, 1990. unpublished."},{"key":"14_CR9","first-page":"455","volume-title":"International Symposium on Logic Programming","author":"I. Foster","year":"1991","unstructured":"I. Foster and W. Winsborough. Copy Avoidance through Compile-Time Analysis and Local Reuse. In International Symposium on Logic Programming, pages 455\u2013469. San Diego, MIT Press, November 1991."},{"key":"14_CR10","first-page":"351","volume-title":"Conference on Lisp and Functional Programming","author":"P. Hudak","year":"1986","unstructured":"P. Hudak. A Semantic Model of Reference Counting and Its Abstraction. In Conference on Lisp and Functional Programming, pages 351\u2013363, Cambridge, 1986. ACM Press."},{"key":"14_CR11","first-page":"300","volume-title":"SIGPLAN Symposium on Principles of Programming Languages","author":"P. Hudak","year":"1985","unstructured":"P. Hudak and A. Bloss. The Aggregate Update Problem in Functional Programming Languages. In SIGPLAN Symposium on Principles of Programming Languages, pages 300\u2013314, New Orleans, January 1985. ACM Press."},{"key":"14_CR12","unstructured":"ICOT. PDSS Manual (Version 2.52e). 21F Mita Kokusai Bldg, 1-4-28 Mita, Minatoku Tokyo 108, Japan, February 1989."},{"key":"14_CR13","first-page":"907","volume-title":"North American Conference on Logic Programming","author":"Y. Inamura","year":"1989","unstructured":"Y. Inamura, N. Ichiyoshi, K. Rokusawa, and K. Nakajima. Optimization Techniques Using the MRB and Their Evaluation on the Multi-PSI\/V2. In North American Conference on Logic Programming, pages 907\u2013921. Cleveland, MIT Press, October 1989."},{"key":"14_CR14","first-page":"154","volume-title":"North American Conference on Logic Programming","author":"D. Jacobs","year":"1989","unstructured":"D. Jacobs and A. Langen. Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In North American Conference on Logic Programming, pages 154\u2013165. Cleveland, MIT Press, October 1989."},{"key":"14_CR15","first-page":"747","volume-title":"International Conference on Logic Programming","author":"A. Mulkers","year":"1990","unstructured":"A. Mulkers, W. Winsborough, and M. Bruynooghe. Analysis of Shared Data Structures for Compile-Time Garbage Collection in Logic Programs. In International Conference on Logic Programming, pages 747\u2013762. Jerusalem, MIT Press, June 1990."},{"key":"14_CR16","first-page":"431","volume-title":"North American Conference on Logic Programming","author":"V. A. Saraswat","year":"1990","unstructured":"V. A. Saraswat, K. Kahn, and J. Levy. Janus: A Step Towards Distributed Constraint Programming. In North American Conference on Logic Programming, pages 431\u2013446. Austin, MIT Press, October 1990."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"A. V. S. Sastry and W. Clinger. Order-of-Evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates. Technical Report CIS-TR-92-14, University of Oregon, Computer Science Department, 1992.","DOI":"10.1145\/165180.165222"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/3318.3323","volume":"7","author":"D. Schmidt","year":"1985","unstructured":"D. Schmidt. Detecting Global Variables in Denotational Specifications. ACM Transactions on Programming Languages and Systems, 7(2):299\u2013310, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"14_CR19","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"2l","author":"E. Y. Shapiro","year":"1989","unstructured":"E. Y. Shapiro. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, 2l(3):413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"14_CR20","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J. E. Stoy","year":"1977","unstructured":"J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge MA, first edition, 1977.","edition":"first edition"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"R. Sundararajan. An Abstract Interpretation Scheme for Groundness, Freeness, and Sharing Analysis of Logic Programs. Technical Report CIS-TR-91-06, University of Oregon, Department of Computer Science, October 1991.","DOI":"10.1007\/3-540-56287-7_106"},{"key":"14_CR22","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"R. Sundararajan","year":"1992","unstructured":"R. Sundararajan, A. V. S. Sastry, and E. Tick. Variable Threadedness Analysis for Concurrent Logic Programs. In Joint International Conference and Symposium on Logic Programming. Washington D.C., MIT Press, November 1992."},{"key":"14_CR23","first-page":"3","volume-title":"International Conference on Logic Programming","author":"K. Ueda","year":"1990","unstructured":"K. Ueda and M. Morita. A New Implementation Technique for Flat GHC. In International Conference on Logic Programming, pages 3\u201317. Jerusalem, MIT Press, June 1990."}],"container-title":["Lecture Notes in Computer Science","Memory Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017195.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:38:48Z","timestamp":1683297528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017195"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055940X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0017195","relation":{},"subject":[]}}