{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:49:33Z","timestamp":1760042973748,"version":"3.40.3"},"publisher-location":"Cham","reference-count":73,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031442445"},{"type":"electronic","value":"9783031442452"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-44245-2_16","type":"book-chapter","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T15:02:30Z","timestamp":1698073350000},"page":"343-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Error Localization for\u00a0Sequential Effect Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9012-4490","authenticated-orcid":false,"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chaewon","family":"Yun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,24]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Flanagan, C., Freund, S.N.: Types for safe locking: static race detection for Java. ACM Trans. Program. Lang. Syst. 28(2) (2006)","DOI":"10.1145\/1119479.1119480"},{"key":"16_CR2","doi-asserted-by":"publisher","DOI":"10.1142\/p132","volume-title":"Type and Effect Systems: Behaviours for Concurrency","author":"T Amtoft","year":"1999","unstructured":"Amtoft, T., Nielson, F., Nielson, H.R.: Type and Effect Systems: Behaviours for Concurrency. Imperial College Press, London (1999)"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1017\/S095679680900728X","volume":"19","author":"R Atkey","year":"2009","unstructured":"Atkey, R.: Parameterised notions of computation. J. Funct. Program. 19, 335\u2013376 (2009)","journal-title":"J. Funct. Program."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bao, Y., Wei, G., Bra\u010devac, O., Juan, Y., He, Q., Rompf, T.: Reachability types: tracking aliasing and separation in higher-order functional programs. Proc. ACM Program. Lang. 5(OOPSLA) (2021)","DOI":"10.1145\/3485516"},{"key":"16_CR5","unstructured":"Birkhoff, G.: Lattice Theory, Colloquium Publications, vol. 25. American Mathematical Society (1940). Third edition, eighth printing with corrections, 1995"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Bocchino, R.L., Jr., et al.: A type and effect system for deterministic parallel Java. In: OOPSLA (2009). https:\/\/doi.org\/10.1145\/1640089.1640097","DOI":"10.1145\/1640089.1640097"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Lee, R., Rinard, M.: Ownership types for safe programming: preventing data races and deadlocks. In: OOPSLA (2002)","DOI":"10.1145\/582419.582440"},{"key":"16_CR8","doi-asserted-by":"publisher","unstructured":"Bracker, J., Nilsson, H.: Polymonad programming in Haskell. In: Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, IFL 2015. Association for Computing Machinery, New York (2015). https:\/\/doi.org\/10.1145\/2897336.2897340","DOI":"10.1145\/2897336.2897340"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Bracker, J., Nilsson, H.: Supermonads: one notion to bind them all. In: Proceedings of the 9th International Symposium on Haskell, pp. 158\u2013169 (2016)","DOI":"10.1145\/2976002.2976012"},{"key":"16_CR10","unstructured":"Bracker, J., Nilsson, H.: Supermonads and superapplicatives. J. Funct. Program. 103 (2018)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M.: Counter-factual typing for debugging type errors. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 583\u2013594 (2014)","DOI":"10.1145\/2535838.2535863"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Chen, S., Erwig, M.: Systematic identification and communication of type errors. J. Funct. Program. 28 (2018)","DOI":"10.1017\/S095679681700020X"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Dietl, W., Dietzel, S., Ernst, M.D., Mu\u015flu, K., Schiller, T.: Building and using pluggable type-checkers. In: ICSE (2011)","DOI":"10.1145\/1985793.1985889"},{"issue":"3","key":"16_CR14","doi-asserted-by":"publisher","first-page":"426","DOI":"10.2307\/1989931","volume":"46","author":"RP Dilworth","year":"1939","unstructured":"Dilworth, R.P.: Non-commutative residuated lattices. Trans. Am. Math. Soc. 46(3), 426\u2013444 (1939)","journal-title":"Trans. Am. Math. Soc."},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-48320-9_21","volume-title":"CONCUR\u201999 Concurrency Theory","author":"C Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Object types against races. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 288\u2013303. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48320-9_21"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-49099-X_7","volume-title":"Programming Languages and Systems","author":"C Flanagan","year":"1999","unstructured":"Flanagan, C., Abadi, M.: Types for safe locking. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 91\u2013108. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-49099-X_7"},{"key":"16_CR17","doi-asserted-by":"publisher","unstructured":"Flanagan, C., Freund, S.N.: Type-based race detection for Java. In: PLDI (2000). https:\/\/doi.org\/10.1145\/349299.349328","DOI":"10.1145\/349299.349328"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M.: Type inference for atomicity. In: Proceedings of the 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, pp. 47\u201358 (2005)","DOI":"10.1145\/1040294.1040299"},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1377492.1377495","volume":"30","author":"C Flanagan","year":"2008","unstructured":"Flanagan, C., Freund, S.N., Lifshin, M., Qadeer, S.: Types for atomicity: static checking and inference for Java. ACM Trans. Program. Lang. Syst. (TOPLAS) 30(4), 1\u201353 (2008)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI (2003)","DOI":"10.1145\/781131.781169"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Qadeer, S.: Types for atomicity. In: TLDI (2003)","DOI":"10.1145\/604174.604176"},{"key":"16_CR22","doi-asserted-by":"publisher","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: A theory of type qualifiers. In: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, PLDI 1999, pp. 192\u2013203. ACM (1999). https:\/\/doi.org\/10.1145\/301618.301665","DOI":"10.1145\/301618.301665"},{"key":"16_CR23","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier (2007)"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Gifford, D.K., Lucassen, J.M.: Integrating functional and imperative programming. In: Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986 (1986)","DOI":"10.1145\/319838.319848"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Gordon, C.S.: A generic approach to flow-sensitive polymorphic effects. In: Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain (2017). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2017.13","DOI":"10.4230\/LIPIcs.ECOOP.2017.13"},{"key":"16_CR26","doi-asserted-by":"publisher","unstructured":"Gordon, C.S.: Lifting sequential effects to control operators. In: Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020), Berlin, Germany (2020). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2020.23","DOI":"10.4230\/LIPIcs.ECOOP.2020.23"},{"key":"16_CR27","doi-asserted-by":"publisher","unstructured":"Gordon, C.S.: Polymorphic iterable sequential effect systems. ACM Trans. Program. Lang. Syst. (TOPLAS) 43(1) (2021). https:\/\/doi.org\/10.1145\/3450272","DOI":"10.1145\/3450272"},{"key":"16_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-39038-8_8","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"CS Gordon","year":"2013","unstructured":"Gordon, C.S., Dietl, W., Ernst, M.D., Grossman, D.: $${\\sf Java}_{\\sf UI}$$: effects for controlling UI object access. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 179\u2013204. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39038-8_8"},{"key":"16_CR29","doi-asserted-by":"publisher","unstructured":"Gordon, C.S., Ernst, M.D., Grossman, D.: Static lock capabilities for deadlock freedom. In: Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2012), Philadelphia, PA, USA (2012). https:\/\/doi.org\/10.1145\/2103786.2103796","DOI":"10.1145\/2103786.2103796"},{"key":"16_CR30","doi-asserted-by":"publisher","unstructured":"Gordon, C.S., Yun, C.: Artifact for error localization for sequential effect systems (2023). https:\/\/doi.org\/10.6084\/m9.figshare.23822877","DOI":"10.6084\/m9.figshare.23822877"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Gordon, C.S., Yun, C.: Error localization for sequential effect systems (extended version). No. arXiv cs.PL 2307.15777 (2023). https:\/\/doi.org\/10.48550\/arXiv.2307.15777","DOI":"10.48550\/arXiv.2307.15777"},{"key":"16_CR32","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G., Buckley, A.: The Java Language Specification: Java SE 8 Edition. Pearson Education (2014)"},{"key":"16_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-319-96142-2_2","volume-title":"Computer Aided Verification","author":"M Hassan","year":"2018","unstructured":"Hassan, M., Urban, C., Eilers, M., M\u00fcller, P.: MaxSMT-based type inference for Python 3. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 12\u201319. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_2"},{"key":"16_CR34","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4204\/eptcs.153.7","volume":"153","author":"M Hicks","year":"2014","unstructured":"Hicks, M., Bierman, G., Guts, N., Leijen, D., Swamy, N.: Polymonadic programming. Electron. Proc. Theor. Comput. Sci. 153, 79\u201399 (2014). https:\/\/doi.org\/10.4204\/eptcs.153.7","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Iva\u0161kovi\u0107, A., Mycroft, A.: A graded monad for deadlock-free concurrency (functional pearl). In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, pp. 17\u201330 (2020)","DOI":"10.1145\/3406088.3409024"},{"key":"16_CR36","unstructured":"Iva\u0161kovi\u0107, A., Mycroft, A., Orchard, D.: Data-flow analyses as effects and graded monads. In: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), vol. 167. Dagstuhl (2020)"},{"key":"16_CR37","doi-asserted-by":"crossref","unstructured":"Katsumata, S.: Parametric effect monads and semantics of effect systems. In: POPL (2014)","DOI":"10.1145\/2535838.2535846"},{"key":"16_CR38","doi-asserted-by":"crossref","unstructured":"Koskinen, E., Terauchi, T.: Local temporal reasoning. In: CSL\/LICS (2014)","DOI":"10.1145\/2603088.2603138"},{"key":"16_CR39","unstructured":"Kot, L., Kozen, D.: Second-order abstract interpretation via Kleene algebra. Technical report, Cornell University Ithaca (2004)"},{"issue":"3","key":"16_CR40","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. Program. Lang. Syst. (TOPLAS) 19(3), 427\u2013443 (1997). https:\/\/doi.org\/10.1145\/256167.256195","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"3","key":"16_CR41","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Am. Math. Mon. 65(3), 154\u2013170 (1958)","journal-title":"Am. Math. Mon."},{"key":"16_CR42","doi-asserted-by":"crossref","unstructured":"Lerner, B.S., Flower, M., Grossman, D., Chambers, C.: Searching for type-error messages. In: Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 425\u2013434 (2007)","DOI":"10.1145\/1250734.1250783"},{"issue":"12","key":"16_CR43","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"RJ Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: a method of proving properties of parallel programs. Commun. ACM 18(12), 717\u2013721 (1975). https:\/\/doi.org\/10.1145\/361227.361234","journal-title":"Commun. ACM"},{"key":"16_CR44","doi-asserted-by":"crossref","unstructured":"Loncaric, C., Chandra, S., Schlesinger, C., Sridharan, M.: A practical framework for type inference error explanation. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 781\u2013799 (2016)","DOI":"10.1145\/2983990.2983994"},{"key":"16_CR45","doi-asserted-by":"publisher","unstructured":"Long, Y., Liu, Y.D., Rajan, H.: Intensional effect polymorphism. In: Boyland, J.T. (ed.) 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), vol. 37, pp. 346\u2013370. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2015). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2015.346. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2015\/5221","DOI":"10.4230\/LIPIcs.ECOOP.2015.346"},{"key":"16_CR46","doi-asserted-by":"crossref","unstructured":"Lucassen, J.M., Gifford, D.K.: Polymorphic effect systems. In: POPL (1988)","DOI":"10.1145\/73560.73564"},{"key":"16_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-27810-0_1","volume-title":"Semantics, Logics, and Calculi","author":"A Mycroft","year":"2016","unstructured":"Mycroft, A., Orchard, D., Petricek, T.: Effect systems revisited\u2014control-flow algebra and semantics. In: Probst, C.W., Hankin, C., Hansen, R.R. (eds.) Semantics, Logics, and Calculi. LNCS, vol. 9560, pp. 1\u201332. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-27810-0_1"},{"key":"16_CR48","doi-asserted-by":"crossref","unstructured":"Neamtiu, I., Hicks, M., Foster, J.S., Pratikakis, P.: Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In: POPL, pp. 37\u201349 (2008)","DOI":"10.1145\/1328897.1328447"},{"key":"16_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/3-540-57208-2_34","volume-title":"CONCUR\u201993","author":"F Nielson","year":"1993","unstructured":"Nielson, F., Nielson, H.R.: From CML to process algebras. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 493\u2013508. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_34"},{"key":"16_CR50","series-title":"Monographs in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-1-4612-2274-3_7","volume-title":"ML with Concurrency: Design, Analysis, Implementation, and Application","author":"HR Nielson","year":"1997","unstructured":"Nielson, H.R., Nielson, F.: Communication analysis for concurrent ML. In: Nielson, F. (ed.) ML with Concurrency: Design, Analysis, Implementation, and Application. MCS, pp. 185\u2013235. Springer, Cham (1997). https:\/\/doi.org\/10.1007\/978-1-4612-2274-3_7"},{"issue":"1","key":"16_CR51","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1<35::AID-TAPO4>3.0.CO;2-4","volume":"5","author":"M Odersky","year":"1999","unstructured":"Odersky, M., Sulzmann, M., Wehr, M.: Type inference with constrained types. Theory Pract. Object Syst. 5(1), 35 (1999)","journal-title":"Theory Pract. Object Syst."},{"key":"16_CR52","doi-asserted-by":"crossref","unstructured":"Orchard, D., Petricek, T.: Embedding effect systems in Haskell. In: Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, pp. 13\u201324 (2014)","DOI":"10.1145\/2633357.2633368"},{"key":"16_CR53","doi-asserted-by":"crossref","unstructured":"Papi, M.M., Ali, M., Correa, T.L., Jr., Perkins, J.H., Ernst, M.D.: Practical pluggable types for Java. In: ISSTA (2008)","DOI":"10.1145\/1390630.1390656"},{"key":"16_CR54","doi-asserted-by":"crossref","unstructured":"Pavlinovic, Z., King, T., Wies, T.: Finding minimum type error sources. In: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, pp. 525\u2013542 (2014)","DOI":"10.1145\/2660193.2660230"},{"key":"16_CR55","doi-asserted-by":"crossref","unstructured":"Pavlinovic, Z., King, T., Wies, T.: Practical SMT-based type error localization. In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pp. 412\u2013423 (2015)","DOI":"10.1145\/2784731.2784765"},{"key":"16_CR56","doi-asserted-by":"publisher","unstructured":"Pottier, F.: A framework for type inference with subtyping. In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), pp. 228\u2013238 (1998). https:\/\/doi.org\/10.1145\/291251.289448","DOI":"10.1145\/291251.289448"},{"key":"16_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0018436","volume-title":"Logics in AI","author":"V Pratt","year":"1991","unstructured":"Pratt, V.: Action logic and pure induction. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 97\u2013120. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0018436"},{"key":"16_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-642-31057-7_13","volume-title":"ECOOP 2012 \u2013 Object-Oriented Programming","author":"L Rytz","year":"2012","unstructured":"Rytz, L., Odersky, M., Haller, P.: Lightweight polymorphic effects. In: Noble, J. (ed.) ECOOP 2012. LNCS, vol. 7313, pp. 258\u2013282. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31057-7_13"},{"key":"16_CR59","doi-asserted-by":"crossref","unstructured":"Sasturkar, A., Agarwal, R., Wang, L., Stoller, S.D.: Automated type-based analysis of data races and atomicity. In: Proceedings of the Tenth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 83\u201394 (2005)","DOI":"10.1145\/1065944.1065956"},{"key":"16_CR60","doi-asserted-by":"publisher","unstructured":"Ba\u00f1ados Schwerter, F., Garcia, R., Tanter, E.: A theory of gradual effect systems. In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, ICFP 2014, pp. 283\u2013295. ACM (2014). https:\/\/doi.org\/10.1145\/2628136.2628149","DOI":"10.1145\/2628136.2628149"},{"key":"16_CR61","doi-asserted-by":"crossref","unstructured":"Skalka, C.: Types and trace effects for object orientation. High.-Order Symb. Comput. 21(3) (2008)","DOI":"10.1007\/s10990-008-9032-6"},{"key":"16_CR62","doi-asserted-by":"crossref","unstructured":"Skalka, C., Darais, D., Jaeger, T., Capobianco, F.: Types and abstract interpretation for authorization hook advice. In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), pp. 139\u2013152. IEEE (2020)","DOI":"10.1109\/CSF49147.2020.00018"},{"key":"16_CR63","doi-asserted-by":"crossref","unstructured":"Skalka, C., Smith, S., Van Horn, D.: Types and trace effects of higher order programs. J. Funct. Program. 18(2) (2008)","DOI":"10.1017\/S0956796807006466"},{"key":"16_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/978-3-540-89330-1_12","volume-title":"Programming Languages and Systems","author":"K Suenaga","year":"2008","unstructured":"Suenaga, K.: Type-based deadlock-freedom verification for non-block-structured lock primitives and mutable references. In: Ramalingam, G. (ed.) APLAS 2008. LNCS, vol. 5356, pp. 155\u2013170. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89330-1_12"},{"issue":"03","key":"16_CR65","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000393","volume":"2","author":"JP Talpin","year":"1992","unstructured":"Talpin, J.P., Jouvelot, P.: Polymorphic type, region and effect inference. J. Funct. Program. 2(03), 245\u2013271 (1992). https:\/\/doi.org\/10.1017\/S0956796800000393","journal-title":"J. Funct. Program."},{"key":"16_CR66","doi-asserted-by":"crossref","unstructured":"Tate, R.: The sequential semantics of producer effect systems. In: POPL (2013)","DOI":"10.1145\/2429069.2429074"},{"issue":"2","key":"16_CR67","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.P.: Region-based memory management. Inf. Comput. 132(2), 109\u2013176 (1997)","journal-title":"Inf. Comput."},{"key":"16_CR68","doi-asserted-by":"publisher","unstructured":"Toro, M., Tanter, E.: Customizable gradual polymorphic effects for Scala. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, pp. 935\u2013953. ACM (2015). https:\/\/doi.org\/10.1145\/2814270.2814315","DOI":"10.1145\/2814270.2814315"},{"key":"16_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-61739-6_52","volume-title":"Static Analysis","author":"V Trifonov","year":"1996","unstructured":"Trifonov, V., Smith, S.: Subtyping constrained types. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol. 1145, pp. 349\u2013365. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61739-6_52"},{"key":"16_CR70","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/601775.601776","volume":"4","author":"P Wadler","year":"2003","unstructured":"Wadler, P., Thiemann, P.: The marriage of effects and monads. Trans. Comput. Logic (TOCL) 4, 1\u201332 (2003)","journal-title":"Trans. Comput. Logic (TOCL)"},{"issue":"3","key":"16_CR71","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., Dilworth, R.P.: Residuated lattices. Trans. Am. Math. Soc. 45(3), 335\u2013354 (1939)","journal-title":"Trans. Am. Math. Soc."},{"key":"16_CR72","doi-asserted-by":"crossref","unstructured":"Yi, J., Disney, T., Freund, S.N., Flanagan, C.: Cooperative types for controlling thread interference in Java. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis, pp. 232\u2013242 (2012)","DOI":"10.1145\/2338965.2336781"},{"key":"16_CR73","doi-asserted-by":"crossref","unstructured":"Zhang, D., Myers, A.C.: Toward general diagnosis of static errors. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 569\u2013581 (2014)","DOI":"10.1145\/2535838.2535870"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44245-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,8]],"date-time":"2024-02-08T08:15:38Z","timestamp":1707380138000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44245-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031442445","9783031442452"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44245-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"24 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Static Analysis Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sas2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/sas-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}