{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:17Z","timestamp":1725663917352},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_89","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:14:59Z","timestamp":1330258499000},"page":"332-345","source":"Crossref","is-referenced-by-count":9,"title":["Higher-order chaotic iteration sequences"],"prefix":"10.1007","author":[{"given":"Mads","family":"Rosendahl","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-16446-4_3","volume-title":"Programs as Data Objects","author":"GL Burn","year":"1986","unstructured":"G L Burn, C L Hankin, and S Abramsky. The Theory of Strictness Analysis for Higher Order Functions. In Programs as Data Objects (H Ganzinger and N D Jones, eds.), pp. 42\u201362. Volume 217 of LNCS. Springer-Verlag, Oct., 1986."},{"key":"23_CR2","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 4th POPL, Los Angeles, CA, pp. 238\u2013252, Jan., 1977.","DOI":"10.1145\/512950.512973"},{"key":"23_CR3","unstructured":"P Cousot and R Cousot. Static determination of dynamic properties of recursive procedures. In Formal Description of Programming Concepts (E J Neuhold, ed.). North-Holland, 1978."},{"issue":"2\u20133","key":"23_CR4","doi-asserted-by":"crossref","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 applications to logic programs. J of Logic Programming 13(2\u20133), pp. 103\u2013180, July, 1992.","journal-title":"J of Logic Programming"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J Gallagher","year":"1991","unstructured":"J Gallagher and M Bruyhooghe. The Derivation of an Algorithm for Program Specialisation. New Gener. Comput. 9, pp. 305\u2013333, 1991.","journal-title":"New Gener. Comput."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"C Hankin and S Hunt. Approximate Fixed Points in Abstract Interpretation. In ESOP'92, pp. 219\u2013232. Volume. 582 of LNCS. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55253-7_13"},{"issue":"1","key":"23_CR7","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0956796800000071","volume":"1","author":"S Hunt","year":"1991","unstructured":"S Hunt and C Hankin. Fixed Points and Frontiers: A New Perspective. J of Functional Programming 1(1), pp. 91\u2013120, Jan., 1991.","journal-title":"J of Functional Programming"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume-title":"Functional Programming Languages and Computer Architecture","author":"Thomas Johnsson","year":"1985","unstructured":"T Johnsson. Lambda lifting: transforming programs to recursive equations. In FPCA'85, Nancy, France. Volume 201 of LNCS. Springer-Verlag, Sept., 1985."},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"N D Jones and A Mycroft. Data Flow Analysis of Applicative Programs using Minimal Function Graphs. In 13th POPL, St. Petersburg, Florida, pp. 296\u2013306, Jan., 1986.","DOI":"10.1145\/512644.512672"},{"key":"23_CR10","volume-title":"Higher-Order Minimal Function Graphs","author":"N. D. Jones","year":"1992","unstructured":"N D Jones and M Rosendahl. Higher-Order Minimal Function Graphs. Unpublished. DIKU, Univ. of Copenhagen, Denmark, 1992."},{"key":"23_CR11","first-page":"269","volume-title":"Volume 83 of LNCS","author":"A Mycroft","year":"1980","unstructured":"A Mycroft. The Theory and Practice of Transforming Call-by-Need into Call-by-Value. In International Symposium on Programming'80, Paris, France (B Robinet, ed.), pp. 269\u2013281. Volume 83 of LNCS. Springer-Verlag, Apr., 1980."},{"key":"23_CR12","unstructured":"A Mycroft and M Rosendahl. Minimal Function Graphs are not instrumented. In WSA'92, Bordeaux, France, pp. 60\u201367. Bigre. Irisa Rennes, France, Sept., 1992."},{"key":"23_CR13","first-page":"96","volume-title":"LISP'92","author":"F Nielson","year":"1992","unstructured":"F Nielson and H R Nielson. Finiteness Conditions for Fixed Point Iteration. In LISP'92, San Francisco, CA, pp. 96\u2013108. ACM Press, 1992."},{"key":"23_CR14","unstructured":"R A O'Keefe. Finite Fixed-Point Problems. In International Conference on Logic Programming, pp. 729\u2013743, May, 1987."},{"key":"23_CR15","unstructured":"P Wadler. Strictness analysis on non-flat domains (by abstract interpretation). In Abstract Interpretation of Declarative Languages (S Abramsky and C Hankin, eds.), chapter 12, pp. 266\u2013275. Ellis-Horwood, 1987."},{"issue":"2\u20133","key":"23_CR16","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(92)90033-Y","volume":"13","author":"W Winsborough","year":"1992","unstructured":"W Winsborough. Multiple Specialization using Minimal-Function Graph Semantics. J of Logic Programming 13(2\u20133), pp. 259\u2013290, July, 1992.","journal-title":"J of Logic Programming"},{"key":"23_CR17","unstructured":"J Young and P Hudak. Finding fixpoints on functional spaces. Tech. Rep. YALEEU\/-DCS\/RR-505. Yale Univ., Dec, 1986."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:06Z","timestamp":1605647346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}