{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:56Z","timestamp":1725663776086},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_21","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:47Z","timestamp":1330250207000},"page":"351-370","source":"Crossref","is-referenced-by-count":4,"title":["The tensor product in Wadler's analysis of lists"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/1.1.5","volume":"1","author":"S. Abramsky","year":"1990","unstructured":"S.Abramsky: Abstract Interpretation, Logical Relations and Kan Extensions, Journal of Logic and Computation 1 1 (1990), 5\u201340.","journal-title":"Journal of Logic and Computation"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01182783","volume":"172","author":"H.-J. Bandelt","year":"1980","unstructured":"H.-J.Bandelt: The tensorproduct of continuous lattices, Mathematische Zeitschrift 172 (1980) 89\u201396.","journal-title":"Mathematische Zeitschrift"},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"G. L. Burn","year":"1986","unstructured":"G.L.Burn, C.Hankin, S.Abramsky: Strictness analysis for higher-order functions, Science of Computer Programming 7 (1986) 249\u2013278.","journal-title":"Science of Computer Programming"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"P.Cousot, R.Cousot: Systematic Design of Program Analysis Frameworks, Procedings POPL 1979.","DOI":"10.1145\/567752.567778"},{"key":"21_CR5","unstructured":"A.B.Ferguson, R.J.M.Hughes: An Iterative Powerdomain Construction, Functional Programming, Glasgow 1989, K.Davis and J.Hughes (eds.), Springer-Verlag (1989) 41\u201355."},{"key":"21_CR6","unstructured":"G.Gr\u00e4tzer: Lattice Theory: First concepts and distributive lattices, W.H.Freeman and Company (1971)."},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/3-540-16446-4_7","volume":"217","author":"J. Hughes","year":"1986","unstructured":"J.Hughes: Strictness detection in non-flat domains, Proc. Programs as Data Objects, Springer Lecture Notes in Computer Science 217 (1986) 112\u2013135.","journal-title":"Proc. Programs as Data Objects, Springer Lecture Notes in Computer Science"},{"key":"21_CR8","unstructured":"J.Hughes: Backwards Analysis of Functional Programs, Partial Evaluation and Mixed Computation, D.Bj\u00f8rner, A.P.Ershov and N.D.Jones (eds.), North-Holland (1988) 187\u2013208."},{"key":"21_CR9","unstructured":"N.D.Jones, S.S.Muchnick: Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra, Program Flow Analysis: Theory and Applications, S.S.Muchnick and N.D.Jones (eds.), Prentice-Hall (1981)."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"S. Mac Lane: Categories for the Working Mathematician, Springer-Verlag (1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"21_CR11","volume-title":"Ph.D.-thesis CST-31-84","author":"F. Nielson","year":"1984","unstructured":"F.Nielson: Abstract Interpretation using Domain Theory, Ph.D.-thesis CST-31-84, University of Edinburgh, Scotland (1984)."},{"key":"21_CR12","unstructured":"F.Nielson: Tensor Products Generalize the Relational Data Flow Analysis Method, Proceedings of the 4'th Hungarian Computer Science Conference (1985) 211\u2013225."},{"key":"21_CR13","unstructured":"F.Nielson: Towards a Denotational Theory of Abstract Intepretation, Abstract Interpretation of Declarative Languages, S.Abramsky and C.Hankin (eds.), Ellis Horwood (1987) 219\u2013245."},{"issue":"2","key":"21_CR14","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(89)90091-1","volume":"69","author":"F. Nielson","year":"1989","unstructured":"F.Nielson: Two-Level Semantics and Abstract Interpretation, Theoretical Computer Science \u2014 Fundamental Studies 69 2 (1989) 117\u2013242.","journal-title":"Theoretical Computer Science \u2014 Fundamental Studies"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"F.Nielson, H.R.Nielson: Two-Level Functional Languages, Cambridge University Press (to appear 1992).","DOI":"10.1017\/CBO9780511526572"},{"key":"21_CR16","unstructured":"G.D.Plotkin: Lambda definability in the full type hierarchy, To H.B.Curry: Essays on Combinatorial Logic, Lambda Calculus and Formalism, Academic Press (1980)."},{"key":"21_CR17","unstructured":"P.Wadler: Strictness analysis on non-flat domains (by abstract interpretation over finite domains), Abstract Interpretation of Declarative Languages, S.Abramsky and C.Hankin (eds.), Ellis Horwood (1987) 266\u2013275."},{"key":"21_CR18","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/3-540-18317-5_21","volume":"274","author":"P. Wadler","year":"1987","unstructured":"P.Wadler, R.J.M.Hughes: Projections for Strictness Analysis, Proceedings Functional Programming Languages and Computer Architecture, Springer Lecture Notes in Computer Science 274 (1987), 385\u2013407.","journal-title":"Proceedings Functional Programming Languages and Computer Architecture, Springer Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:27Z","timestamp":1605646707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}