{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T23:29:33Z","timestamp":1676071773851},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1991,2,1]],"date-time":"1991-02-01T00:00:00Z","timestamp":665366400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8202,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[1991,2]]},"DOI":"10.1016\/0890-5401(91)90004-l","type":"journal-article","created":{"date-parts":[[2004,12,16]],"date-time":"2004-12-16T15:34:26Z","timestamp":1103211266000},"page":"194-216","source":"Crossref","is-referenced-by-count":11,"title":["Inverse image analysis generalises strictness analysis"],"prefix":"10.1016","volume":"90","author":[{"given":"Peter","family":"Dybjer","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0890-5401(91)90004-L_BIB1","series-title":"Abstract interpretation, logical relations and Kan extensions","author":"Abramsky","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB2","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-16446-4_1","article-title":"Strictness analysis and polymorphic invariance","volume":"Vol. 217","author":"Abramsky","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB3","series-title":"Proceedings of the 1987 Logic in Computer Science Conference","article-title":"Domain theory in logical form","author":"Abramsky","year":"1987"},{"issue":"No. 8","key":"10.1016\/0890-5401(91)90004-L_BIB4","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Comm. ACM"},{"key":"10.1016\/0890-5401(91)90004-L_BIB5_1","series-title":"Programs as Data Objects","first-page":"42","article-title":"The theory of strictness analysis for higher-order functions","author":"Burn","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB5_2","series-title":"Programs as Data Objects","first-page":"217","article-title":"The theory of strictness analysis for higher-order functions","author":"Burn","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB6","article-title":"Time Complexity of Programs in Type Theory","author":"Bjerner","year":"1989"},{"key":"10.1016\/0890-5401(91)90004-L_BIB7","article-title":"Abstract Interpretation and the Parallel Evaluation of Functional Languages","author":"Burn","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB8","series-title":"Functional Programming Languages and Computer Architecture","first-page":"446","article-title":"Evaluation transformers\u2014A model for the parallel evaluation of functional languages (extended abstract)","volume":"Vol. 274","author":"Burn","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB9","series-title":"Proceedings of the Workshop on Implementation of Functional Languages","first-page":"132","article-title":"Generating parallelism from strictness analysis","author":"Clack","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB10","series-title":"Automata, Languages, and Programming, Proceedings of the 14th International Colloquium","first-page":"21","article-title":"Inverse image analysis","volume":"Vol. 267","author":"Dybjer","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB11","series-title":"Proceedings of the Workshop on Implementation of Functional Languages","article-title":"Removing redundant laziness from super-combinators","author":"Fairbairn","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB12","series-title":"On the synthesis of function inverses, draft paper","author":"Harrison","year":"1986"},{"key":"10.1016\/0890-5401(91)90004-L_BIB13","series-title":"Programs as Data Objects","first-page":"112","article-title":"Strictness detection in non-flat domains","volume":"Vol. 217","author":"Hughes","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB14","series-title":"Abstract Interpretation of Declarative Languages","first-page":"63","article-title":"Analysing strictness by abstract interpretation of continuations","author":"Hughes","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB15","series-title":"Notes from a talk given at the Workshop on Abstract Interpretation","article-title":"Access and demand analysis of functional programs","author":"Karlsson","year":"1985"},{"key":"10.1016\/0890-5401(91)90004-L_BIB16","article-title":"Logique, Categories & Machines. Implantation de Langages de Programmation guidee par la Logique Categorique","author":"Lafont","year":"1988"},{"key":"10.1016\/0890-5401(91)90004-L_BIB17","series-title":"Workshop on Semantics of Programming Languages, Abstracts and Notes","article-title":"The domain interpretation of type theory, lecture notes","author":"Martin-L\u00f6f","year":"1983"},{"key":"10.1016\/0890-5401(91)90004-L_BIB18","article-title":"Abstract Interpretation and Optimising Transformations for Applicative Programs","author":"Mycroft","year":"1981"},{"key":"10.1016\/0890-5401(91)90004-L_BIB19","series-title":"Abstract Software Specifications","article-title":"Dijkstra's predicate transformers and Smyth's powerdomains","volume":"Vol. 86","author":"Plotkin","year":"1980"},{"key":"10.1016\/0890-5401(91)90004-L_BIB20","author":"Plotkin","year":"1981"},{"key":"10.1016\/0890-5401(91)90004-L_BIB21","series-title":"Category Theory and Computer Science","first-page":"238","article-title":"Logical aspects of denotational semantics","volume":"Vol. 283","author":"Robinson","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB22","author":"Scott","year":"1981"},{"key":"10.1016\/0890-5401(91)90004-L_BIB23","series-title":"Automata, Languages and Programming, Proceedings of the 9th International Colloquium","first-page":"577","article-title":"Domains for denotational semantics","volume":"Vol. 140","author":"Scott","year":"1982"},{"key":"10.1016\/0890-5401(91)90004-L_BIB24","series-title":"Automata, Languages and Programming, Proceedings of the 10th International Colloquium","first-page":"662","article-title":"Power domains and predicate transformers: A topological view","volume":"Vol. 154","author":"Smyth","year":"1983"},{"key":"10.1016\/0890-5401(91)90004-L_BIB25","series-title":"Abstract Interpretation of Declarative Languages","first-page":"266","article-title":"Strictness analysis on non-flat domains (by abstract interpretation over finite domains)","author":"Wadler","year":"1987"},{"key":"10.1016\/0890-5401(91)90004-L_BIB26","series-title":"Principles of Programming Languages, Proceedings","article-title":"Strictness analysis aids time analysis","author":"Wadler","year":"1988"},{"key":"10.1016\/0890-5401(91)90004-L_BIB27","series-title":"Functional Programming Languages and Computer Architecture","first-page":"385","article-title":"Projections for strictness analysis","volume":"Vol. 274","author":"Wadler","year":"1987"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054019190004L?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054019190004L?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,30]],"date-time":"2019-01-30T20:25:48Z","timestamp":1548879948000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/089054019190004L"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,2]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,2]]}},"alternative-id":["089054019190004L"],"URL":"https:\/\/doi.org\/10.1016\/0890-5401(91)90004-l","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[1991,2]]}}}