{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T15:45:52Z","timestamp":1732031152292,"version":"3.28.0"},"reference-count":65,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccl.1994.288389","type":"proceedings-article","created":{"date-parts":[[2002,12,17]],"date-time":"2002-12-17T09:32:51Z","timestamp":1040117571000},"page":"95-112","source":"Crossref","is-referenced-by-count":39,"title":["Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages)"],"prefix":"10.1109","author":[{"given":"P.","family":"Cousot","sequence":"first","affiliation":[]},{"given":"R.","family":"Cousot","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"82","author":"hughes","year":"1989","journal-title":"Projections for polymorphic strictness analysis"},{"key":"ref38","first-page":"187","article-title":"Backwards analysis of functional programs","author":"hughes","year":"1987","journal-title":"Proc IFIP Workshop"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41637"},{"key":"ref32","first-page":"633","author":"gunter","year":"1990","journal-title":"Formal Models and Semantics"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1944-0010556-9"},{"key":"ref30","first-page":"47","author":"ernoult","year":"1991","journal-title":"Uniform ideals and strictness analysis"},{"key":"ref37","first-page":"112","author":"hughes","year":"1986","journal-title":"Strictness detection in non-flat domains"},{"key":"ref36","first-page":"269","author":"hughes","year":"1992","journal-title":"Reversing abstract interpretations"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.465"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512653"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90091-1"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73571"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1944-0010555-7"},{"key":"ref63","first-page":"266","author":"wadler","year":"1987","journal-title":"Abstract Interpretation of Declarative Languages Computers and their Applications"},{"key":"ref28","first-page":"193","article-title":"Proprietes generates de la residuation en liaison avec les correspondances de Galois","volume":"7","author":"dubreuil","year":"1954","journal-title":"Collect Math"},{"key":"ref64","first-page":"385","author":"wadler","year":"1987","journal-title":"Projections for polymorphic strictness analysis"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3196-0_7"},{"key":"ref65","first-page":"236","author":"wright","year":"1991","journal-title":"A new technique for strictness analysis"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90004-L"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.1.5"},{"key":"ref1","first-page":"1","author":"abramsky","year":"1986","journal-title":"Strictness analysis and polymorphic invariance"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"ref22","first-page":"98","author":"cousot","year":"1993","journal-title":"Galois connection based abstract interpretations for strictness analysis"},{"key":"ref21","first-page":"83","author":"cousot","year":"1992","journal-title":"11th POPL"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/154630.154639"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"453","DOI":"10.24033\/asens.1050","article-title":"Applications residues","volume":"4","author":"croisot","year":"1956","journal-title":"Ann Sci \ufffdcole Norm Sup"},{"key":"ref26","first-page":"23","article-title":"Strictness analysis in 4D","author":"davis","year":"1990","journal-title":"Proc Functional Programming Glasgow 1990"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3166-3_2"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1084\/jem.142.1.165"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569814"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90041-7"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/141478.141526"},{"key":"ref57","first-page":"536","author":"mycroft","year":"1983","journal-title":"Strong abstract interpretation using power domains"},{"key":"ref56","first-page":"156","author":"mycroft","year":"1986","journal-title":"A relational framework for abstract interpretation"},{"journal-title":"Abstract interpretation and optimising transformations for applicative programs","year":"1981","author":"mycroft","key":"ref55"},{"key":"ref54","first-page":"270","author":"mycroft","year":"1980","journal-title":"The theory and practice of transforming call-by-need into call-by-value"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/141478.141520"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178576"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(86)90010-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90086-9"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001493"},{"journal-title":"Methodes it\ufffdratives de construction et d'approximation de points fixes d'op\ufffdrateurs monotones sur un treillis analyse simantique de programmes","year":"1978","author":"cousot","key":"ref12"},{"key":"ref13","first-page":"303","author":"cousot","year":"1981","journal-title":"Program Flow Analysis Theory and Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref15","first-page":"237","article-title":"Static determination of dynamic properties of recursive procedures","author":"cousot","year":"1977","journal-title":"IFIP Conference on Format Description of Programming Concepts"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref17","first-page":"119","author":"cousot","year":"1980","journal-title":"Semantic analysis of communicating sequential processes"},{"key":"ref18","first-page":"243","author":"cousot","year":"1984","journal-title":"Automatic Program Construction Techniques"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99593"},{"journal-title":"Computers and their Applications","year":"1987","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100013463"},{"key":"ref5","first-page":"367","author":"baraki","year":"1991","journal-title":"A note on abstract interpretation of polymorphic functions"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96724"},{"year":"0","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41638"},{"journal-title":"Research Monographs in Parallel and Distributed Computing","year":"1991","author":"burn","key":"ref9"},{"journal-title":"Detecting when call-by-value can be used instead of call-by-need","year":"1981","author":"johnsson","key":"ref46"},{"journal-title":"Abstract Interpretation in Logical Form","year":"1993","author":"jensen","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"ref47","first-page":"380","author":"jones","year":"1981","journal-title":"Program Flow Analysis Theory and Applications"},{"key":"ref42","article-title":"PERs generalize projections for strictness analysis","author":"hunt","year":"1990","journal-title":"Proc Functional Programming Glasgow 1990"},{"journal-title":"PERs generalize projections for strictness analysis","year":"1990","author":"hunt","key":"ref41"},{"key":"ref44","first-page":"352","author":"jensen","year":"1991","journal-title":"Strictness analysis in logical form"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/115866.115881"}],"event":{"name":"1994 IEEE International Conference on Computer Languages (ICCL'94)","acronym":"ICCL-94","location":"Toulouse, France"},"container-title":["Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/962\/7175\/00288389.pdf?arnumber=288389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T16:37:42Z","timestamp":1516639062000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/288389\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/iccl.1994.288389","relation":{},"subject":[]}}