{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:28Z","timestamp":1772164048090,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,16]],"date-time":"2013-06-16T00:00:00Z","timestamp":1371340800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,16]]},"DOI":"10.1145\/2491956.2462190","type":"proceedings-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T12:03:50Z","timestamp":1370952230000},"page":"377-386","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["How to combine widening and narrowing for non-monotonic systems of equations"],"prefix":"10.1145","author":[{"given":"Kalmer","family":"Apinis","sequence":"first","affiliation":[{"name":"TU M\u00fcnchen, Munich, Germany"}]},{"given":"Helmut","family":"Seidl","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen, Munich, Germany"}]},{"given":"Vesal","family":"Vojdani","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_12"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/780822.781153"},{"key":"e_1_3_2_1_3_1","volume-title":"2nd International Workshop PLILP'90","volume":"456","author":"Bourdoncle Fran\u00e7ois","year":"1990","unstructured":"Fran\u00e7ois Bourdoncle . Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In Programming Language Implementation and Logic Programming , 2nd International Workshop PLILP'90 , volume 456 of Lecture Notes in Computer Science, pages 307--323. Springer-Verlag , 1990 . Fran\u00e7ois Bourdoncle. Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity. In Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, volume 456 of Lecture Notes in Computer Science, pages 307--323. Springer-Verlag, 1990."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039704"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.09.001"},{"key":"e_1_3_2_1_6_1","volume-title":"Second International Symposium on Programming","author":"Cousot P.","year":"1976","unstructured":"P. Cousot and R. Cousot . Static determination of dynamic properties of programs. In B. Robinet, editor , Second International Symposium on Programming , Paris, France, page 106--130. Dunod, Paris , 1976 . P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In B. Robinet, editor, Second International Symposium on Programming, Paris, France, page 106--130. Dunod, Paris, 1976."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_8_1","first-page":"237","volume-title":"Static Determination of Dynamic Properties of Recursive Procedures. In IFIP Conf. on Formal Description of Programming Concepts","author":"Cousot P.","year":"1977","unstructured":"P. Cousot and R. Cousot . Static Determination of Dynamic Properties of Recursive Procedures. In IFIP Conf. on Formal Description of Programming Concepts , pages 237 -- 277 . North-Holland , 1977 . P. Cousot and R. Cousot. Static Determination of Dynamic Properties of Recursive Procedures. In IFIP Conf. on Formal Description of Programming Concepts, pages 237--277. North-Holland, 1977."},{"key":"e_1_3_2_1_9_1","first-page":"272","volume-title":"Eleventh Annual Asian Computing Science Conference (ASIAN'06)","author":"Cousot P.","year":"2007","unstructured":"P. Cousot , R. Cousot , J. Feret , L. Mauborgne , A. Min\u00e9 , D. Monniaux , and X. Rival . Combination of abstractions in the ASTR\u00c9E static analyzer. In M. Okada and I. Satoh, editors , Eleventh Annual Asian Computing Science Conference (ASIAN'06) , pages 272 -- 300 , Tokyo, Japan, LNCS 4435 , 2007 . Springer, Berlin. P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Min\u00e9, D. Monniaux, and X. Rival. Combination of abstractions in the ASTR\u00c9E static analyzer. In M. Okada and I. Satoh, editors, Eleventh Annual Asian Computing Science Conference (ASIAN'06), pages 272--300, Tokyo, Japan, LNCS 4435, 2007. Springer, Berlin."},{"key":"e_1_3_2_1_10_1","first-page":"303","volume-title":"Program Flow Analysis: Theory and Applications","author":"Cousot Patrick","year":"1981","unstructured":"Patrick Cousot . Semantic foundations of program analysis . In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications , chapter 10, page 303 -- 342 . Prentice-Hall, Inc. , Englewood Cliffs , New Jersey, U.S.A., 1981 . Patrick Cousot. Semantic foundations of program analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 10, page 303--342. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, U.S.A., 1981."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Patrick\n      Cousot\n     and \n      Radhia\n      Cousot\n    .\n  Comparing the galois connection and widening\/narrowing approaches to abstract interpretation\n  . In Maurice Bruynooghe and Martin Wirsing editors PLILP volume \n  631\n   of \n  LNCS pages \n  269\n  --\n  295\n  . \n  Springer 1992\n  .   Patrick Cousot and Radhia Cousot. Comparing the galois connection and widening\/narrowing approaches to abstract interpretation. In Maurice Bruynooghe and Martin Wirsing editors PLILP volume 631 of LNCS pages 269--295. Springer 1992.","DOI":"10.1007\/3-540-55844-6_142"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00009-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_41"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"349","volume-title":"Proc. of the 14th International Static Analysis Symposium (SAS)","author":"Gopan Denis","year":"2007","unstructured":"Denis Gopan and Thomas Reps . Guided static analysis . In Hanne Nielson and Gilberto Fil\u00e9, editors, Proc. of the 14th International Static Analysis Symposium (SAS) , volume 4634 of LNCS , pages 349 -- 365 . Springer , 2007 . Denis Gopan and Thomas Reps. Guided static analysis. In Hanne Nielson and Gilberto Fil\u00e9, editors, Proc. of the 14th International Static Analysis Symposium (SAS), volume 4634 of LNCS, pages 349--365. Springer, 2007."},{"key":"e_1_3_2_1_15_1","series-title":"LNCS","first-page":"443","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08)","author":"Gulavani Bhargav","year":"2008","unstructured":"Bhargav Gulavani , Supratik Chakraborty , Aditya Nori , and Sriram Rajamani . Automatically refining abstract interpretations . In C. Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08) , volume 4963 of LNCS , pages 443 -- 458 . Springer , 2008 . Bhargav Gulavani, Supratik Chakraborty, Aditya Nori, and Sriram Rajamani. Automatically refining abstract interpretations. In C. Ramakrishnan and Jakob Rehof, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), volume 4963 of LNCS, pages 443--458. Springer, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542518"},{"key":"e_1_3_2_1_17_1","first-page":"137","volume-title":"WCET2010","author":"Gustafsson Jan","year":"2010","unstructured":"Jan Gustafsson , Adam Betts , Andreas Ermedahl , and Bj\u00f6rn Lisper . The M\u00e4lardalen WCET benchmarks -- past, present and future. In Bj\u00f6rn Lisper, editor , WCET2010 , pages 137 -- 147 , Brussels, Belgium , July 2010 . OCG. Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Bj\u00f6rn Lisper. The M\u00e4lardalen WCET benchmarks -- past, present and future. In Bj\u00f6rn Lisper, editor, WCET2010, pages 137--147, Brussels, Belgium, July 2010. OCG."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_20"},{"key":"e_1_3_2_1_20_1","first-page":"199","volume-title":"What is a pure functional? In ICALP (2)","author":"Hofmann Martin","year":"2010","unstructured":"Martin Hofmann , Aleksandr Karbyshev , and Helmut Seidl . What is a pure functional? In ICALP (2) , pages 199 -- 210 . LNCS 6199, Springer , 2010 . Martin Hofmann, Aleksandr Karbyshev, and Helmut Seidl. What is a pure functional? In ICALP (2), pages 199--210. LNCS 6199, Springer, 2010."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1882094.1882115"},{"key":"e_1_3_2_1_23_1","volume-title":"The Third International Workshop on Numerical and Symbolic Abstract Domains","author":"Monniaux David","year":"2011","unstructured":"David Monniaux and Julien Le Guen . Stratified static analysis based on variable dependencies . In The Third International Workshop on Numerical and Symbolic Abstract Domains , 2011 . David Monniaux and Julien Le Guen. Stratified static analysis based on variable dependencies. In The Third International Workshop on Numerical and Symbolic Abstract Domains, 2011."},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","first-page":"213","volume-title":"CC'02","author":"Necula George C.","year":"2002","unstructured":"George C. Necula , Scott McPeak , S. P. Rahul , and Westley Weimer . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs . In CC'02 , volume 2304 of LNCS , pages 213 -- 228 . Springer , 2002 . George C. Necula, Scott McPeak, S. P. Rahul, and Westley Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In CC'02, volume 2304 of LNCS, pages 213--228. Springer, 2002."},{"issue":"4","key":"e_1_3_2_1_25_1","first-page":"413","article-title":"Global invariants for analyzing multithreaded applications. Proc. of the Estonian Academy of Sciences: Phys","volume":"52","author":"Seidl Helmut","year":"2003","unstructured":"Helmut Seidl , Varmo Vene , and Markus M\u00fcller-Olm . Global invariants for analyzing multithreaded applications. Proc. of the Estonian Academy of Sciences: Phys ., Math. , 52 ( 4 ): 413 -- 436 , 2003 . Helmut Seidl, Varmo Vene, and Markus M\u00fcller-Olm. Global invariants for analyzing multithreaded applications. Proc. of the Estonian Academy of Sciences: Phys., Math., 52(4):413--436, 2003.","journal-title":"Math."},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/978-3-642-22110-1_57","volume-title":"Computer Aided Verification (CAV'11)","author":"Sharma Rahul","year":"2011","unstructured":"Rahul Sharma , Isil Dillig , Thomas Dillig , and Alex Aiken . Simplifying loop invariant generation using splitter predicates . In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Computer Aided Verification (CAV'11) , volume 6806 of LNCS , pages 703 -- 719 . Springer , 2011 . Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken. Simplifying loop invariant generation using splitter predicates. In Ganesh Gopalakrishnan and Shaz Qadeer, editors, Computer Aided Verification (CAV'11), volume 6806 of LNCS, pages 703--719. Springer, 2011."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_11"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"314","volume-title":"SAS'94","author":"Vergauwen B.","year":"1994","unstructured":"B. Vergauwen , J. Wauman , and J. Lewi . Efficient fixpoint computation . In SAS'94 , volume 864 of LNCS , pages 314 -- 328 . Springer , 1994 . B. Vergauwen, J.Wauman, and J. Lewi. Efficient fixpoint computation. In SAS'94, volume 864 of LNCS, pages 314--328. Springer, 1994."},{"key":"e_1_3_2_1_29_1","first-page":"141","article-title":"Path-sensitive data race analysis. Annales Univ. Sci. Budapest","volume":"30","author":"Vojdani Vesal","year":"2009","unstructured":"Vesal Vojdani and Varmo Vene . Goblint : Path-sensitive data race analysis. Annales Univ. Sci. Budapest ., Sect. Comp. , 30 : 141 -- 155 , 2009 . Vesal Vojdani and Varmo Vene. Goblint: Path-sensitive data race analysis. Annales Univ. Sci. Budapest., Sect. Comp., 30:141--155, 2009.","journal-title":"Sect. Comp."}],"event":{"name":"PLDI '13: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Seattle Washington USA","acronym":"PLDI '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2462190","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491956.2462190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:10Z","timestamp":1750221550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2462190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,16]]},"references-count":28,"alternative-id":["10.1145\/2491956.2462190","10.1145\/2491956"],"URL":"https:\/\/doi.org\/10.1145\/2491956.2462190","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2499370.2462190","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,6,16]]},"assertion":[{"value":"2013-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}