{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171773},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643043"},{"type":"electronic","value":"9783540697244"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0026426","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:48:42Z","timestamp":1132386522000},"page":"109-127","source":"Crossref","is-referenced-by-count":10,"title":["Flow logics for constraint based analysis"],"prefix":"10.1007","author":[{"given":"Hanne Riis","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF00264319","volume":"10","author":"W. A. Babich","year":"1978","unstructured":"W. A. Babich and M. Jazayeri. The method of attributes for data flow analysis-Part I. Exhaustive analysis. Acta Informatica, 10:245\u2013264, 1978.","journal-title":"Exhaustive analysis. Acta Informatica"},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00264320","volume":"10","author":"W. A. Babich","year":"1978","unstructured":"W. A. Babich and M. Jazayeri. The method of attributes for data flow analysis \u2014 Part II. Demand analysis. Acta Informatica, 10:265\u2013272, 1978.","journal-title":"Acta Informatica"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"P. N. Benton. Strictness logic and polymorphic invariance. In Proc. Second International Symposium on Logical Foundations of Computer Science, pages 33\u201344. Springer Lecture Notes in Computer Science 620, 1992.","DOI":"10.1007\/BFb0023861"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"C. Fecht and H. Seidl. An even faster solver for general systems of equations. In ] Proc. SAS'96, volume 1145 of Lecture Notes in Computer Science, pages 189\u2013204. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61739-6_42"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Y.-C. Fuh and P. Mishra. Polymorphic subtype inference: Closing the theorypractice gap. In Proc. TAPSOFT'89, volume 352 of Lecture Notes in Computer Science, pages 167\u2013183. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50940-2_35"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"K. L. S. Gasser, F. Nielson, and H. R. Nielson. Systematic realisation of control flow analyses for CML. In Proceedings of ICFP'97, pages 38\u201351. ACM Press, 1997.","DOI":"10.1145\/258948.258954"},{"key":"8_CR7","unstructured":"M. S. Hecht. Flow Analysis of Computer Programs. North-Holland, 1977."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"S. Jagannathan and S. Weeks. Analyzing Stores and References in a Parallel Symbolic Language. In Proc. LFP'94, pages 294\u2013305, 1994.","DOI":"10.1145\/182409.182493"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"S. Jagannathan and S. Weeks. A unified treatment of flow analysis in higher-order languages. In Proc. POPL '95. ACM Press, 1995.","DOI":"10.1145\/199448.199536"},{"key":"8_CR10","unstructured":"T. P. Jensen. Abstract Interpretation in Logical Form. PhD thesis, Imperial College, 1993."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"N D. Jones and A. Mycroft. Dataflow of Applicative Programs Using Minimal Function Graphs. In Proc. 13th POPL, pages 296\u2013306. ACM Press, 1986.","DOI":"10.1145\/512644.512672"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"T. M. Kuo and P. Mishra. Strictness analysis: A new perspective based on type inference. In Proc. FPCA '89, pages 260\u2013272. ACM Press, 1989.","DOI":"10.1145\/99370.99390"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"W. Landi and B. G. Ryder. Pointer-Induced Aliasing: A Problem Classification. In 18th POPL, Orlando, Florida, pages 93\u2013103. ACM Press, 1991.","DOI":"10.1145\/99583.99599"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"O. L. Madsen. On defining semantics by means of extended attribute grammars. In N. D. Jones, editor, Proc. Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, pages 259\u2013299. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10250-7_25"},{"key":"8_CR15","unstructured":"R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, 1990."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"F. Nielson and H. R. Nielson. Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. In Proc. POPL '97, 1997.","DOI":"10.1145\/263699.263745"},{"key":"8_CR17","unstructured":"F. Nielson and H. R. Nielson. Interprocedural Flow Logics. Manuscript, 1998."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. R. Nielson, and C. L. Hankin. Principles of Program Analysis: Flows and Effects. To appear, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"H. D. Pande and B. G. Ryder. Data-flow-based virtual function resolution. In Proc. SAS'96, volume 1145 of Lecture Notes in Computer Science, pages 238\u2013254. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61739-6_45"},{"key":"8_CR20","unstructured":"M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis. Prentice-Hall, 1981."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"O. Shivers. The semantics of Scheme control-flow analysis. In Partial Evaluation and Semantics-Based Program Manipulation. ACM SIGPLAN Notices 26 (9), 1991.","DOI":"10.1145\/115866.115884"},{"key":"8_CR22","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"G. S. Smith","year":"1994","unstructured":"G. S. Smith. Polymorphic type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197\u2013226, 1994.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"8_CR23","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"J.-P. Talpin","year":"1992","unstructured":"J.-P. Talpin and P. Jouvelot. Polymorphic Type, Region and Effect Inference. Journal of Functional Programming, 2(3):245\u2013271, 1992.","journal-title":"Journal of Functional Programming"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math., 5:285\u2013309, 1955.","journal-title":"Pacific J. Math."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"J. Vitek, R. N. Horspool, and J. S. Uhl. Compile-Time Analysis of Object-Oriented Programs. In Proc. CC '92, volume 641 of Lecture Notes in Computer Science, pages 236\u2013250. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55984-1_22"},{"issue":"2","key":"8_CR26","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1093\/comjnl\/26.2.142","volume":"26","author":"D. A. Watt","year":"1983","unstructured":"D. A. Watt and O. L. Madsen. Extended attribute grammars. Computer Journal, 26(2):142\u2013153, 1983.","journal-title":"Computer Journal"},{"key":"8_CR27","unstructured":"R. Wilhelm and D. Maurer. Compiler Design. Addison-Wesley, 1995."}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:37:35Z","timestamp":1586569055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643043","9783540697244"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0026426","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}