{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:37Z","timestamp":1761597037917},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003267"},{"type":"electronic","value":"9783540363774"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36377-7_11","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T23:03:07Z","timestamp":1181170987000},"page":"223-244","source":"Crossref","is-referenced-by-count":34,"title":["Flow Logic: A Multi-paradigmatic Approach to Static 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":[[2002,12,16]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Cardelli. A Theory of Objects. Springer, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken, M. F\u00e4hndrich, J. S. Foster, and Z. Su. A toolkit for constructing type-and constraint-based program analyses. In Proc. TIC\u201998, 1998.","DOI":"10.1007\/BFb0055513"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"C. Bodei, P. Degano, F. Nielson, and H. Riis Nielson. Static analysis for the \u03c0-calculus with applications to security. Information and Computation, to appear, 2000.","DOI":"10.1006\/inco.2000.3020"},{"key":"11_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-44743-1_3","volume-title":"Proc. PaCT\u201901","author":"C. Bodei","year":"2001","unstructured":"C. Bodei, P. Degano, F. Nielson, and H. Riis Nielson. Static analysis for secrecy and non-interference in networks of processes. In Proc. PaCT\u201901, number 2127 in Lecture Notes in Computer Science, pages 27\u201341. Springer-Verlag, 2001."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. Gordon. Mobile ambients. In Proc. FoSSaCS\u201998, 1998.","DOI":"10.1007\/BFb0053547"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"D. Clement, J. Despeyroux, T. Despeyroux, and G. Kahn. A simple applicative language: Mini-ml. In Proc. L & FP, 1986.","DOI":"10.1145\/319838.319847"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proc. POPL\u2019 77, pages 238\u2013252. ACM Press, 1977.","DOI":"10.1145\/512950.512973"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"K.L.S. Gasser, F. Nielson, and H. Riis Nielson. Systematic realisation of control flow analyses for CML. In Proc. ICFP\u201997, pages 38\u201351. ACM Press, 1997.","DOI":"10.1145\/258948.258954"},{"key":"11_CR9","unstructured":"M. S. Hecht. Flow Analysis of Computer Programs. North Holland, 1977."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"N. Heintze. Set-based analysis of ML programs. In Proc. LFP\u2019 94, pages 306\u2013317, 1994.","DOI":"10.1145\/182409.182495"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A theory of type polymorphism in programming. Journal of Computer Systems, 17:348\u2013375, 1978.","journal-title":"Journal of Computer Systems"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"11_CR13","unstructured":"R. Milner, M. Tofte, and R. Harper. The definition of Standard ML. MIT Press, 1990."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"F. Nielson and H. Riis Nielson. Infinitary control flow analysis: a collecting semantics for closure analysis. In Proc. POPL\u201997, pages 332\u2013345. ACM Press, 1997.","DOI":"10.1145\/263699.263745"},{"key":"11_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/BFb0055771","volume-title":"Proc. MFCS\u201998","author":"F. Nielson","year":"1998","unstructured":"F. Nielson and H. Riis Nielson. The flow logic of imperative objects. In Proc. MFCS\u201998, number 1450 in Lecture Notes in Computer Science, pages 220\u2013228. Springer-Verlag, 1998."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"F. Nielson and H. Riis Nielson. Flow logics and operational semantics. Electronic Notes of Theoretical Computer Science, 10, 1998.","DOI":"10.1016\/S1571-0661(05)80695-4"},{"key":"11_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-49099-X_3","volume-title":"Proc. ESOP\u201999","author":"F. Nielson","year":"1999","unstructured":"F. Nielson and H. Riis Nielson. Interprocedural control flow analysis. In Proc. ESOP\u201999, number 1576 in Lecture Notes in Computer Science, pages 20\u201339. Springer-Verlag, 1999."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"F. Nielson, H. Riis Nielson, and C. L. Hankin. Principles of Program Analysis. Springer, 1999.","DOI":"10.1007\/978-3-662-03811-6"},{"key":"11_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-48320-9_32","volume-title":"Proc. CONCUR\u201999","author":"F. Nielson","year":"1999","unstructured":"F. Nielson, H. Riis Nielson, R. R. Hansen, and J. G. Jensen. Validating firewalls in mobile ambients. In Proc. CONCUR\u201999, number 1664 in Lecture Notes in Computer Science, pages 463\u2013477. Springer-Verlag, 1999."},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","first-page":"304","volume-title":"Proc. ESOP\u201900","author":"F. Nielson","year":"2000","unstructured":"F. Nielson, H. Riis Nielson, and M. Sagiv. A Kleene analysis of mobile ambients. In Proc. ESOP\u201900, number 1782 in Lecture Notes in Computer Science, pages 304\u2013319. Springer-Verlag, 2000."},{"key":"11_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BFb0026426","volume-title":"Proc. CC\u201998","author":"H. R. Nielson","year":"1998","unstructured":"H. Riis Nielson and F. Nielson. Flow logics for constraint based analysis. In Proc. CC\u201998, number 1383 in Lecture Notes in Computer Science, pages 109\u2013127. Springer-Verlag, 1998."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"H. Riis Nielson and F. Nielson. Shape analysis for mobile ambients. In Proc. POPL\u201900, pages 142\u2013154. ACM Press, 2000.","DOI":"10.1145\/325694.325711"},{"key":"11_CR23","series-title":"Technical Report","volume-title":"A structural approach to operational semantics","author":"G. D. Plotkin","year":"1981","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report FN-19, DAIMI, Aarhus University, Denmark, 1981."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"J. Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.","DOI":"10.1017\/CBO9780511574962"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proc. POPL\u201999, 1999.","DOI":"10.1145\/292540.292552"}],"container-title":["Lecture Notes in Computer Science","The Essence of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36377-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:37:00Z","timestamp":1556480220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36377-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003267","9783540363774"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-36377-7_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}