{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T22:00:47Z","timestamp":1726005647891},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030112448"},{"type":"electronic","value":"9783030112455"}],"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_10","type":"book-chapter","created":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T18:45:18Z","timestamp":1547145918000},"page":"205-225","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Relatively Complete Pushdown Analysis of Escape Continuations"],"prefix":"10.1007","author":[{"given":"Kimball","family":"Germane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Might","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,11]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Adams, N., Kranz, D., Kelsey, R., Rees, J., Hudak, P., Philbin, J.: ORBIT: an optimizing compiler for scheme. In: SIGPLAN 1986. ACM, New York (1986)","DOI":"10.1145\/12276.13333"},{"key":"10_CR2","volume-title":"Compiling with Continuations","author":"AW Appel","year":"2007","unstructured":"Appel, A.W.: Compiling with Continuations. Cambridge University Press, Cambridge (2007)"},{"key":"10_CR3","unstructured":"Earl, C., Might, M., Van Horn, D.: Pushdown control-flow analysis of higher-order programs. In: Workshop on Scheme and Functional Programming (2010)"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(91)90036-W","volume":"17","author":"M Felleisen","year":"1991","unstructured":"Felleisen, M.: On the expressive power of programming languages. Sci. Comput. Program. 17(1), 35\u201375 (1991)","journal-title":"Sci. Comput. Program."},{"key":"10_CR5","unstructured":"Germane, K., Might, M.: Multi-continuation pushdown analysis. Technical report, January 2019. http:\/\/kimball.germane.net\/germane-mccfa2-techreport.pdf"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Gilray, T., Lyde, S., Adams, M.D., Might, M., Van Horn, D.: Pushdown control-flow analysis for free. In: Proceedings of the 43rd Annual ACM Symposium on Principles of Programming Languages. POPL 2016, pp. 691\u2013704. ACM, New York (2016)","DOI":"10.1145\/2837614.2837631"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Hieb, R., Dybvig, R.K., Bruggeman, C.: Representing control in the presence of first-class continuations. In: Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation. PLDI 1990, pp. 66\u201377. ACM, New York (1990)","DOI":"10.1145\/93542.93554"},{"key":"10_CR8","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":"10_CR9","doi-asserted-by":"crossref","unstructured":"Kennedy, A.: Compiling with continuations, continued. In: Proceedings of the 12th ACM International Conference on Functional Programming. ICFP 2007, pp. 177\u2013190. ACM, New York (2007)","DOI":"10.1145\/1291151.1291179"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Kim, J., Yi, K., Danvy, O.: Assessing the overhead of ML exceptions by selective CPS transformation, vol. 5, January 1998","DOI":"10.7146\/brics.v5i15.19287"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Ley-Wild, R., Fluet, M., Acar, U.A.: Compiling self-adjusting programs with continuations. In: Proceedings of the 13th ACM International Conference on Functional Programming. ICFP 2008, pp. 321\u2013334. ACM, New York (2008)","DOI":"10.1145\/1411204.1411249"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Liang, S., Sun, W., Might, M., Keep, A., Horn, D.V.: Pruning, pushdown exception-flow analysis. In: Proceedings of the 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, pp. 265\u2013274. IEEE Computer Society (2014)","DOI":"10.1109\/SCAM.2014.44"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Might, M.: Environment analysis of higher-order languages (2007)","DOI":"10.1145\/1111037.1111049"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Might, M., Shivers, O.: Environment analysis via $$\\Delta $$CFA. In: Conference Record of the 33rd ACM Symposium on Principles of Programming Languages. POPL 2006, pp. 127\u2013140. ACM, New York (2006)","DOI":"10.1145\/1111037.1111049"},{"key":"10_CR15","unstructured":"Shivers, O.: Control-flow analysis of higher-order languages. Ph.D. thesis. Carnegie Mellon University (1991)"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1017\/S0956796806006009","volume":"16","author":"O Shivers","year":"2006","unstructured":"Shivers, O., Fisher, D.: Multi-return function call. J. Funct. Program. 16(4), 547\u2013582 (2006)","journal-title":"J. Funct. Program."},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1020887011500","volume":"15","author":"H Thielecke","year":"2002","unstructured":"Thielecke, H.: Comparing control constructs by double-barrelled CPS. Higher-Order Symb. Comput. 15(2), 141\u2013160 (2002)","journal-title":"Higher-Order Symb. Comput."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Van Horn, D., Might, M.: Abstracting abstract machines. In: Proceedings of the 15th ACM International Conference on Functional Programming. ICFP 2010, pp. 51\u201362. ACM, New York (2010)","DOI":"10.1145\/1863543.1863553"},{"key":"10_CR19","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"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Vardoulakis, D., Shivers, O.: Ordering multiple continuations on the stack. In: Proceedings of the 20th ACM Workshop on Partial Evaluation and Program Manipulation. PEPM 2011, pp. 13\u201322. ACM, New York (2011)","DOI":"10.1145\/1929501.1929504"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Vardoulakis, D., Shivers, O.: Pushdown flow analysis of first-class control. In: Proceedings of the 16th ACM International Conference on Functional Programming. ICFP 2011, pp. 69\u201380. ACM, New York (2011)","DOI":"10.1145\/2034773.2034785"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,14]],"date-time":"2019-11-14T03:16:37Z","timestamp":1573701397000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-11245-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030112448","9783030112455"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-11245-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"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"}}]}}