{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:52Z","timestamp":1725664192614},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:27:43Z","timestamp":1330273663000},"page":"346-362","source":"Crossref","is-referenced-by-count":5,"title":["Efficient strictness analysis of Haskell"],"prefix":"10.1007","author":[{"given":"Kristian Damm","family":"Jensen","sequence":"first","affiliation":[]},{"given":"Peter","family":"Hj\u00e6resen","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Rosendahl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"S Abramsky, Strictness Analysis And Polymorphic Invariance. LNCS 217, H Ganzinger & N D Jones (ed.): \u201cPrograms as Data Objects\u201d, Springer Verlag 1986.","DOI":"10.1007\/3-540-16446-4_1"},{"key":"22_CR2","unstructured":"S Abramsky & C Hankin, Abstract interpretation of declarative languages. Ellis-Horwood 1987."},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"G Baraki, A Note on Abstract Interpretation of Polymorphic Functions. LNCS 523, J Hughes (ed): FPCA'91, Springer Verlag 1991.","DOI":"10.1007\/3540543961_18"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"G L Burn, C Hankin & S Abramsky, Strictness Analysis for Higher Order Functions. Science of Computer Programming vol. 7, pp. 249\u2013278.","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"C Clack & S L Peyton Jones, Strictness Analysis \u2014 A Practical Approach. LNCS 201, FPCA'85, Springer Verlag 1985.","DOI":"10.1007\/3-540-15975-4_28"},{"key":"22_CR6","unstructured":"P Cousot & R Cousot, Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximations of Fixpoints. 4th POPL, Los Angeles, CA."},{"key":"22_CR7","unstructured":"P Cousot & R Cousot, Static Determination of Dynamic Properties of Recursive Procedures. In E J Neuhold: \u201cFormal Description of Programming Concepts\u201d. North-Holland 1978."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"A Ferguson & J Hughes, Fast Abstract Interpretation Using Sequential Algorithms. LNCS 724, P Cousot et al.: WSA'93, Springer Verlag 1993.","DOI":"10.1007\/3-540-57264-3_28"},{"key":"22_CR9","unstructured":"The GRASP Team, The Glorious Haskell Compilation System. User's Guide. Version 0.16 1992."},{"key":"22_CR10","unstructured":"C Hankin & D Le Metayer, Lazy Type Inference for the Strictness Analysis of Lists. ESOP'94, LNCS 788, Springer-Verlag."},{"key":"22_CR11","volume-title":"Master's Thesis","author":"P. F. Hj\u00e6resen","year":"1994","unstructured":"P F Hj\u00e6resen & K D Jensen, Strikthedsanalyse af Haskell, Master's Thesis. DIKU, University of Copenhagen, Denmark, 1994."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"P Hudak et al., Report on the Programming Language Haskell, version 1.2. SIGPLAN Notices 27.","DOI":"10.1145\/130697.130699"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"S Hunt & C Hankin, Fixed Points and Frontiers: A New Perspective. Journal of Functional Programming vol. 1, no. 1.","DOI":"10.1017\/S0956796800000071"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"N D Jones & A Mycroft, Dataflow Analysis of Applicative Programs Using Minimal Function Graphs. 13th POPL, St. Petersburg, Florida. 1986.","DOI":"10.1145\/512644.512672"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"N D Jones & M Rosendahl, Higher Order Functional Graphs. ALP'94, LNCS, Springer-Verlag 1994.","DOI":"10.1007\/3-540-58431-5_17"},{"key":"22_CR16","unstructured":"A Mycroft, The theory and practise of transforming call-by-need into call-by-value. International symposium on programming '80, Paris, France."},{"key":"22_CR17","unstructured":"A Mycroft & M Rosendahl, Minimal function graphs are not instrumented. WSA'92, Bordeaux, France."},{"key":"22_CR18","unstructured":"F Nielson & H R Nielson, The Tensor Product in Wadlers Analysis of Lists. ESOP'92"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"M Rosendahl, Higher Order Chaotic Iteration Sequences. LNCS 714, PLILP'93, Springer Verlag 1993.","DOI":"10.1007\/3-540-57186-8_89"},{"key":"22_CR20","unstructured":"M Rosendahl, Higher order fixpoint iteration. Unpublished 1993."},{"key":"22_CR21","unstructured":"M Rosendahl & A Mycroft, Minimal Function Graph Semantics for a Lazy Language, Unpublished 1993."},{"key":"22_CR22","unstructured":"J Seward, Towards a Strictness Analyser for Haskell: Putting Theory into Practice. 1991, Master's Thesis, University of Manchester."},{"key":"22_CR23","unstructured":"J Seward, Polymorphic Strictness Analysis Using Frontiers, PEPM'93, Copenhagen, Denmark."},{"key":"22_CR24","unstructured":"P Wadler Strictness analysis on non-flat domains (by Abstract interpretation over finite domains). In [AH87]."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:23Z","timestamp":1605648143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}