{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:44Z","timestamp":1779074624088,"version":"3.51.4"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030112448","type":"print"},{"value":"9783030112455","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-11245-5_12","type":"book-chapter","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T13:45:18Z","timestamp":1547127918000},"page":"247-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Effect-Driven Flow Analysis"],"prefix":"10.1007","author":[{"given":"Jens","family":"Nicolay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quentin","family":"Sti\u00e9venart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"De Meuter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Andreasen, E.S., M\u00f8ller, A., Nielsen, B.B.: Systematic approaches for increasing soundness and precision of static analyzers. In: Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP@PLDI 2017, pp. 31\u201336 (2017)","DOI":"10.1145\/3088515.3088521"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-45937-5_13","volume-title":"Compiler Construction","author":"P Cousot","year":"2002","unstructured":"Cousot, P., Cousot, R.: Modular static program analysis. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol. 2304, pp. 159\u2013179. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45937-5_13"},{"key":"12_CR3","unstructured":"Earl, C., Might, M., Van Horn, D.: Pushdown control-flow analysis of higher-order programs. In: Proceedings of the 2010 Workshop on Scheme and Functional Programming (Scheme 2010) (2010)"},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/173262.155113","volume":"28","author":"C Flanagan","year":"1993","unstructured":"Flanagan, C., Sabry, A., Duba, B., Felleisen, M.: The essence of compiling with continuations. ACM SIGPLAN Not. 28(6), 237\u2013247 (1993)","journal-title":"ACM SIGPLAN Not."},{"key":"12_CR5","unstructured":"Fulgham, B., Gouy, I.: The computer language benchmarks game (2009). http:\/\/shootout.alioth.debian.org"},{"key":"12_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5298.001.0001","volume-title":"Performance and Evaluation of LISP Systems","author":"RP Gabriel","year":"1985","unstructured":"Gabriel, R.P.: Performance and Evaluation of LISP Systems, vol. 263. MIT press, Cambridge (1985)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Gilray, T., Adams, M.D., Might, M.: Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, 18\u201322 September 2016, pp. 407\u2013420 (2016)","DOI":"10.1145\/2951913.2951936"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Gilray, T., Lyde, S., Adams, M.D., Might, M., Horn, D.V.: Pushdown control-flow analysis for free. In: Proceedings of the 43th Annual ACM Symposium on the Principles of Programming Languages (POPL 2016) (2016)","DOI":"10.1145\/2837614.2837631"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Johnson, J.I., Labich, N., Might, M., Van Horn, D.: Optimizing abstract abstract machines. In: ACM SIGPLAN International Conference on Functional Programming, ICFP 2013, Boston, MA, USA, 25\u201327 September 2013, pp. 443\u2013454 (2013)","DOI":"10.1145\/2500365.2500604"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Johnson, J.I., Van Horn, D.: Abstracting abstract control. In: Proceedings of the 10th ACM Symposium on Dynamic languages, pp. 11\u201322. ACM (2014)","DOI":"10.1145\/2661088.2661098"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2015.02.002","volume":"311","author":"S Liang","year":"2015","unstructured":"Liang, S., Might, M., Horn, D.V.: Anadroid: Malware analysis of android with user-supplied predicates. Electr. Notes Theor. Comput. Sci. 311, 3\u201314 (2015)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-93900-9_22","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M Might","year":"2008","unstructured":"Might, M., Manolios, P.: A posteriori soundness for non-deterministic abstract interpretations. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 260\u2013274. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-93900-9_22"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1160074.1159807","volume":"41","author":"M Might","year":"2006","unstructured":"Might, M., Shivers, O.: Improving flow analyses via $$\\gamma $$CFA: abstract garbage collection and counting. ACM SIGPLAN Not. 41, 13\u201325 (2006)","journal-title":"ACM SIGPLAN Not."},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-23702-7_16","volume-title":"Static Analysis","author":"M Might","year":"2011","unstructured":"Might, M., Van Horn, D.: A family of abstract interpretations for static analysis of concurrent higher-order programs. In: Yahav, E. (ed.) SAS 2011. LNCS, vol. 6887, pp. 180\u2013197. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23702-7_16"},{"issue":"POPL","key":"12_CR15","first-page":"51:1","volume":"2","author":"PC Nguyen","year":"2018","unstructured":"Nguyen, P.C., Gilray, T., Tobin-Hochstadt, S., Horn, D.V.: Soft contract verification for higher-order stateful programs. PACMPL 2(POPL), 51:1\u201351:30 (2018)","journal-title":"PACMPL"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Nicolay, J., Noguera, C., Roover, C.D., Meuter, W.D.: Determining dynamic coupling in JavaScript using object type inference. In: Proceedings of the Thirteenth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2013), pp. 126\u2013135 (2013)","DOI":"10.1109\/SCAM.2013.6648193"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Nicolay, J., Spruyt, V., De Roover, C.: Static detection of user-specified security vulnerabilities in client-side JavaScript. In: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp. 3\u201313. ACM (2016)","DOI":"10.1145\/2993600.2993612"},{"issue":"12","key":"12_CR18","doi-asserted-by":"publisher","first-page":"e1889","DOI":"10.1002\/smr.1889","volume":"29","author":"Jens Nicolay","year":"2017","unstructured":"Nicolay, J., Sti\u00e9venart, Q., De Meuter, W., De Roover, C.: Purity analysis for JavaScript through abstract interpretation. J. Softw. Evol. Process (2017). https:\/\/doi.org\/10.1002\/smr.1889","journal-title":"Journal of Software: Evolution and Process"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-662-03811-6_6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Algorithms. Principles of Program Analysis, pp. 365\u2013392. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-662-03811-6_6"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-662-03811-6_5","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Type and effect systems. Principles of Program Analysis, pp. 283\u2013363. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/978-3-662-03811-6_5"},{"key":"12_CR21","unstructured":"Sharir, M., Pnueli, A.: Two approaches to interprocedural data flow analysis. Technical report, New York University, Department of Computer Science (1978)"},{"key":"12_CR22","unstructured":"Shivers, O.: Control-flow analysis of higher-order languages. Ph.D. thesis, Carnegie Mellon University Pittsburgh, PA (1991)"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Stievenart, Q., Nicolay, J., De Meuter, W., De Roover, C.: Detecting concurrency bugs in higher-order programs through abstract interpretation. In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, pp. 232\u2013243. ACM (2015)","DOI":"10.1145\/2790449.2790530"},{"key":"12_CR24","unstructured":"Sti\u00e9venart, Q., Nicolay, J., De Meuter, W., De Roover, C.: Mailbox abstractions for static analysis of actor programs. In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, pp. 25:1\u201325:30 (2017)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1932681.1863553","volume":"45","author":"D Horn Van","year":"2010","unstructured":"Van Horn, D., Might, M.: Abstracting abstract machines. ACM SIGPLAN Not. 45, 51\u201362 (2010)","journal-title":"ACM SIGPLAN Not."},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1007\/978-3-642-11957-6_30","volume-title":"Programming Languages and Systems","author":"D Vardoulakis","year":"2010","unstructured":"Vardoulakis, D., Shivers, O.: CFA2: a context-free approach to control-flow analysis. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 570\u2013589. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11957-6_30"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-11245-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T22:16:48Z","timestamp":1573683408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030112448","9783030112455"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11245-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cascais","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 January 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/popl19.sigplan.org\/track\/VMCAI-2019","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}