{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:08:51Z","timestamp":1759936131977,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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":[[2018,9,3]]},"DOI":"10.1145\/3236950.3236967","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Three Improvements to the Top-Down Solver"],"prefix":"10.1145","author":[{"given":"Helmut","family":"Seidl","sequence":"first","affiliation":[{"name":"TU M\u00fcnchen, Garching, Germany"}]},{"given":"Ralf","family":"Vogler","sequence":"additional","affiliation":[{"name":"TU M\u00fcnchen, Garching, Germany"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.12.005"},{"key":"e_1_3_2_1_2_1","volume-title":"APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings (Lecture Notes in Computer Science), Ranjit Jhala and Atsushi Igarashi (Eds.)","volume":"7705","author":"Apinis Kalmer","year":"2012","unstructured":"Kalmer Apinis , Helmut Seidl , and Vesal Vojdani . 2012 . Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. In Programming Languages and Systems - 10th Asian Symposium , APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings (Lecture Notes in Computer Science), Ranjit Jhala and Atsushi Igarashi (Eds.) , Vol. 7705 . Springer, 157--172. Kalmer Apinis, Helmut Seidl, and Vesal Vojdani. 2012. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings (Lecture Notes in Computer Science), Ranjit Jhala and Atsushi Igarashi (Eds.), Vol. 7705. Springer, 157--172."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27810-0_14"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0089-6"},{"key":"e_1_3_2_1_9_1","volume-title":"SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.)","volume":"9837","author":"Frielinghaus Stefan Schulze","year":"2016","unstructured":"Stefan Schulze Frielinghaus , Helmut Seidl , and Ralf Vogler . 2016 . Enforcing Termination of Interprocedural Analysis. In Static Analysis - 23rd International Symposium , SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.) , Vol. 9837 . Springer, 447--468. Stefan Schulze Frielinghaus, Helmut Seidl, and Ralf Vogler. 2016. Enforcing Termination of Interprocedural Analysis. In Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science), Xavier Rival (Ed.), Vol. 9837. Springer, 447--468."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000457"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"volume-title":"Programming in the OSEK\/VDX Environment. CMP Media","author":"Lemieux Joseph","key":"e_1_3_2_1_13_1","unstructured":"Joseph Lemieux . 2001. Programming in the OSEK\/VDX Environment. CMP Media , Inc., USA. Joseph Lemieux. 2001. Programming in the OSEK\/VDX Environment. CMP Media, Inc., USA."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837141"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970337"},{"key":"e_1_3_2_1_16_1","first-page":"141","article-title":"Goblint: Path-sensitive data race analysis","volume":"30","author":"Vojdani Vesal","year":"2009","unstructured":"Vesal Vojdani and Varmo Vene . 2009 . Goblint: Path-sensitive data race analysis . Annales Univ. Sci. Budapest., Sect. Comp. 30 (2009), 141 -- 155 . Vesal Vojdani and Varmo Vene. 2009. Goblint: Path-sensitive data race analysis. Annales Univ. Sci. Budapest., Sect. Comp. 30 (2009), 141--155.","journal-title":"Annales Univ. Sci. Budapest., Sect. Comp."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/210308.210315"}],"event":{"name":"PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Goethe University Goethe University Frankfurt"],"location":"Frankfurt am Main Germany","acronym":"PPDP '18"},"container-title":["Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:34Z","timestamp":1750210774000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":15,"alternative-id":["10.1145\/3236950.3236967","10.1145\/3236950"],"URL":"https:\/\/doi.org\/10.1145\/3236950.3236967","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}