{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:36Z","timestamp":1725663396908},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160786"},{"type":"electronic","value":"9783540397588"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16078-7_61","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:36:41Z","timestamp":1330195001000},"page":"1-20","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Abstract interpretation of denotational definitions"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"1_CR1","unstructured":"A.V. Aho, J.D. Ullman: Principles of Compiler Design, Addison-Wesley, 1978."},{"key":"1_CR2","unstructured":"M.A. Arbib, E.G. Manes: Arrows, Structures and Functors: The Categorical Imperative, Academic Press, 1975."},{"key":"1_CR3","unstructured":"G.L. Burn, C.L. Hankin, S. Abramsky: The Theory and Practice of Strictness Analysis for Higher Order Functions, Research Report DoC 85\/6, Imperial College of Science and Technology, London."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot: Abstract Interpretation: A Unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Conf. Record of the 4th ACM Symposium on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"1_CR5","unstructured":"P. Cousot, R. Cousot: Static determination of dynamic properties of recursive procedures, in: Formal Descriptions of Programming Concepts, E.J. Neuhold (ed.), North-Holland Publishing Company, 1978."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot: Systematic design of program analysis frameworks, in: Conf. Record of the 6th ACM Symposium on Principles of Programming Languages, 1979.","DOI":"10.1145\/567752.567778"},{"key":"1_CR7","unstructured":"V. Donzeau-Gouge: Utilisation de la s\u00e9mantique d\u00e9notationelle pour l'\u00e9tude d'interpr\u00e9tations non-standard, IRIA report No. 273, France, 1978."},{"key":"1_CR8","unstructured":"V. Donzeau-Gouge: Denotational definition of properties of program computations, in: Program Flow Analysis: Theory and Applications, S.S. Muchnick, N.D. Jones (eds.), Prentice-Hall, 1981."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"M. Gordon: The Denotational Description of Programming Languages \u2014 An Introduction, Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4612-6228-2"},{"key":"1_CR10","unstructured":"M.S. Hecht: Flow Analysis of Computer Programs, North-Holland, 1977."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"N.D. Jones, S.S. Muchnick: TEMPO: A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languages, Lecture Notes in Computer Science No. 66, Springer Verlag, 1978.","DOI":"10.1007\/3-540-09085-1"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"N.D. Jones, S.S. Muchnick: Complexity of flow analysis, inductive assertion synthesis and a language due to Dijkstra, in: Program Flow Analysis: Theory and Applications, S.S. Muchnick, N.D. Jones (eds.), Prentice-Hall, 1981.","DOI":"10.1109\/SFCS.1980.16"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"J.B. Kam, J.D. Ullman: Monotone data flow analysis frameworks, Acta Informatica, vol. 7 (1977), pp. 305\u2013317.","journal-title":"Acta Informatica"},{"key":"1_CR14","unstructured":"R. Milne, C. Strachey: A Theory of Programming Language Semantics, Chapman and Hall, London, 1976."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"A. Mycroft, F. Nielson: Strong abstract interpretation using power domains, in: Proceedings ICALP 1983, Springer LNCS no. 154, pp. 536\u2013547.","DOI":"10.1007\/BFb0036935"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00263194","volume":"18","author":"F. Nielson","year":"1982","unstructured":"F. Nielson: A denotational framework for data flow analysis, Acta Informatica, vol. 18 (1982), pp. 265\u2013287.","journal-title":"Acta Informatica"},{"key":"1_CR17","volume-title":"Abstract Interpretation Using Domain Theory","author":"F. Nielson","year":"1984","unstructured":"F. Nielson: Abstract Interpretation Using Domain Theory, Ph.D. thesis, University of Edinburgh, Scotland, 1984."},{"key":"1_CR18","unstructured":"F. Nielson: Tensor Products Generalize the Relational Data Flow Analysis Method, 4'th HCSC, 1985."},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"F. Nielson: Expected Forms of Data Flow Analysis, to appear in: Proceedings of \"Programs as Data Objects\", Springer LNCS, 1986.","DOI":"10.1007\/3-540-16446-4_10"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson: Code Generation from Two-Level Denotational Meta-Languages, to appear in: Proceedings of \"Programs as Data Objects\", Springer LNCS, 1986.","DOI":"10.1007\/3-540-16446-4_11"},{"key":"1_CR21","unstructured":"H.R. Nielson, F. Nielson: Pragmatic Aspects of Two-Level Denotational Meta-Languages, report R-85-13, Aalborg University Centre, Denmark."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds: On the Relation between Direct and Continuation Semantics, in: Proceedings 2nd ICALP 1974, Lecture Notes in Computer Science 14, pp. 141\u2013156.","DOI":"10.1007\/978-3-662-21545-6_10"},{"issue":"10","key":"1_CR23","doi-asserted-by":"crossref","first-page":"712","DOI":"10.1145\/359842.359849","volume":"20","author":"B.K. Rosen","year":"1977","unstructured":"B.K. Rosen: High-level data flow analysis, CACM vol. 20 No. 10 (1977), pp. 712\u2013724.","journal-title":"CACM"},{"issue":"4","key":"1_CR24","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1137\/0211062","volume":"11","author":"M.B. Smyth","year":"1982","unstructured":"M.B. Smyth, G.D. Plotkin: The category-theoretic solution of recursive domain equations, SIAM J. Comput., vol. 11 No. 4 (1982), pp. 761\u2013783.","journal-title":"SIAM J. Comput."},{"key":"1_CR25","unstructured":"A. Tenenbaum: Automatic Type Analysis in a Very High Level Language, Ph.D. thesis, New York University, 1974."},{"key":"1_CR26","unstructured":"R.D. Tennent: Principles of Programming Languages, Prentice-Hall, 1981."}],"container-title":["Lecture Notes in Computer Science","STACS 86"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16078-7_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T02:21:00Z","timestamp":1578536460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16078-7_61"}},"subtitle":["A survey"],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160786","9783540397588"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-16078-7_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"5 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}