{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:08:59Z","timestamp":1725466139064},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053564","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T01:40:18Z","timestamp":1149644418000},"page":"75-89","source":"Crossref","is-referenced-by-count":4,"title":["Synchronisation analysis to stop tupling"],"prefix":"10.1007","author":[{"given":"Wei-Ngan","family":"Chin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siau-Cheng","family":"Khoo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tat-Wee","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"E. Barendsen and J.E.W. Smetsers. Conventional and uniqueness typing in graph rewrite systems. In 13th Conference on the Foundations of Software Technology \u03be Theoretical Computer Science, pages 45\u201351, Bombay, India, December 1993.","DOI":"10.1007\/3-540-57529-4_42"},{"key":"6_CR2","first-page":"119","volume-title":"Towards an automated tupling strategy","author":"W. Chin","year":"1993","unstructured":"Wei-Ngan Chin. Towards an automated tupling strategy. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 119\u2013132, Copenhagen, Denmark, June 1993. ACM Press."},{"key":"6_CR3","first-page":"176","volume-title":"A bounds inference method for vector-based memoisation","author":"W. Chin","year":"1997","unstructured":"Wei-Ngan Chin and Masami Hagiya. A bounds inference method for vector-based memoisation. In 2nd ACM SIGPLAN Intl. Conference on Functional Programming, pages 176\u2013187, Amsterdam, Holland, June 1997. ACM Press."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"W.N. Chin, S.C. Khoo, and T.W. Lee. Synchronisation analysis to stop tupling-extended abstract. Technical report, Dept of IS\/CS, NUS, Dec 1997. http:\/\/www.iscs.nus.sg\/~khoosc\/paper\/synTech.ps.gz.","DOI":"10.1007\/BFb0053564"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"W.N. Chin, S.C. Khoo, and P. Thiemann. Synchronisation analyses for multiple recursion parameters. In Intl Dagstuhl Seminar on Partial Evaluation (LNCS 1110), pages 33\u201353, Germany, February 1996.","DOI":"10.1007\/3-540-61580-6_3"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/2166.2167","volume":"5","author":"N. H. Cohen","year":"1983","unstructured":"Norman H. Cohen. Eliminating redundant recursive calls. ACM Trans, on Programming Languages and Systems, 5(3):265\u2013299, July 1983.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"key":"6_CR7","first-page":"164","volume-title":"Tupling calculation eliminates multiple traversais","author":"Z. Hu","year":"1997","unstructured":"Z. Hu, H. Iwasaki, M. Takeichi, and A. Takano. Tupling calculation eliminates multiple traversais. In 2nd ACM SIGPLAN International Conference on Functional Programming, pages 164\u2013175, Amsterdam, Netherlands, June 1997. ACM Press."},{"key":"6_CR8","unstructured":"N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01806312","volume":"2","author":"N.D. Jones","year":"1989","unstructured":"N.D. Jones, P. Sestoft, and H. Sondergaard. An experiment in partial evaluation: the generation of a compiler generator. Journal of LISP and Symbolic Computation, 2(1):9\u201350, 1989.","journal-title":"Journal of LISP and Symbolic Computation"},{"key":"6_CR10","unstructured":"Tat Wee Lee. Synchronisation analysis for tupling. Master's thesis, DISCS, National University of Singapore, 1997. http:\/\/www.iscs.nus.sg\/~khoosc\/paper\/ltw_thesis.ps.gz."},{"key":"6_CR11","first-page":"157","volume-title":"Discovering auxiliary information for incremental computation","author":"Y. A. Liu","year":"1996","unstructured":"Y. A. Liu, S. D. Stoller, and T. Teitelbaum. Discovering auxiliary information for incremental computation. In 23rd ACM Symposium Principles of Programming Languages, pages 157\u2013170, St. Petersburg, Florida, January 1996. ACM Press."},{"key":"6_CR12","first-page":"190","volume-title":"Caching intermediate results for program improvement","author":"Y. A. Liu","year":"1995","unstructured":"Y A. Liu and T. Teitelbaum. Caching intermediate results for program improvement. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 190\u2013201, La Jolla, California, June 1995. ACM Press."},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1038\/218019a0","volume":"218","author":"D. Michie","year":"1968","unstructured":"Donald Michie. Memo functions and machine learning. Nature, 218:19\u201322, April 1968.","journal-title":"Nature"},{"key":"6_CR14","volume-title":"Program derivation via list introduction","author":"A. Pettorossi","year":"1997","unstructured":"A. Pettorossi and M. Proietti. Program derivation via list introduction. In IFIP TC 2 Working Conf. on Algorithmic Languages and Calculi, Le Bischenberg, France, February 1997. Chapman & Hall."},{"key":"6_CR15","first-page":"306","volume":"250","author":"A. Pettorossi","year":"1987","unstructured":"A. Pettorossi and A. Skowron. Higher order generalization in program derivation. In TAPSOFT 87, Pisa, Italy, (LNCS, vol 250, pp. 306\u2013325), March 1987.","journal-title":"LNCS"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Alberto Pettorossi. A powerful strategy for deriving programs by transformation. In 3rd ACM LISP and Functional Programming Conference, pages 273\u2013281. ACM Press, 1984.","DOI":"10.1145\/800055.802044"},{"key":"6_CR17","first-page":"347","volume-title":"LNCS, vol 528","author":"M. Proietti","year":"1991","unstructured":"M. Proietti and A. Pettorossi. Unfolding-definition-folding, in this order for avoiding unnecessary variables in logic programs. In Proceedings of PLILP, Passau, Germany, (LNCS, vol 528, pp. 347\u2013258) Berlin Heidelberg New York: Springer, 1991."},{"key":"6_CR18","volume-title":"Constraints to stop higher-order deforestation","author":"H. Seidl","year":"1997","unstructured":"H. Seidl and M.H. S0rensen. Constraints to stop higher-order deforestation. In 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997. ACM Press."},{"key":"6_CR19","first-page":"117","volume-title":"How to avoid space-leak without a garbage collector","author":"J. Sparud","year":"1993","unstructured":"Jan Sparud. How to avoid space-leak without a garbage collector. In ACM Conference on Functional Programming and Computer Architecture, pages 117\u2013122, Copenhagen, Denmark, June 1993. ACM Press."},{"key":"6_CR20","first-page":"344","volume":"300","author":"P. Wadler","year":"1988","unstructured":"Phil Wadler. Deforestation: Transforming programs to eliminate trees. In European Symposium on Programming, Nancy, France, (LNCS, vol 300, pp. 344\u2013358), March 1988.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:34:23Z","timestamp":1555641263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0053564","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}