{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T02:22:59Z","timestamp":1773886979192,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"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":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908096","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"194-208","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":62,"title":["From Datalog to flix: a declarative language for fixed points on lattices"],"prefix":"10.1145","author":[{"given":"Magnus","family":"Madsen","sequence":"first","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Ho","family":"Yee","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"University of Copenhagen","author":"Andersen L. O.","year":"1994"},{"key":"e_1_3_2_1_2_1","first-page":"10","author":"Apt K. R.","year":"1988","journal-title":"Towards a Theory of Declarative Knowledge. In Foundations of Deductive Databases and Logic Programming."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/6012.15399"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273923"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38856-9_8"},{"key":"e_1_3_2_1_6_1","unstructured":"doi: 10.1007\/ 978-3-642-38856-9_8.  doi: 10.1007\/ 978-3-642-38856-9_8."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_8_1","unstructured":"1167488.  1167488."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/2043174.2043195.  doi: 10.1145\/2043174.2043195.","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0"},{"key":"e_1_3_2_1_14_1","unstructured":"doi: 10.1007\/ 978-3-642-55481-0.  doi: 10.1007\/ 978-3-642-55481-0."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/200994.200998"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79209"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2391229.2391230"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.129.19"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_20_1","unstructured":"512973.  512973."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/978-3-642-33826-7_16.  doi: 10.1007\/978-3-642-33826-7_16.","DOI":"10.1007\/978-3-642-33826-7_16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231399"},{"key":"e_1_3_2_1_25_1","volume-title":"Datalog 2010","author":"de Moor O.","year":"2011"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/182591.182639"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"e_1_3_2_1_28_1","unstructured":"S. Fink and J. Dolby. WALA \u2013 The TJ Watson Libraries for Analysis 2012.  S. Fink and J. Dolby. WALA \u2013 The TJ Watson Libraries for Analysis 2012."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765712.1765728"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/3-540-36575-3_14.  doi: 10.1007\/3-540-36575-3_14.","DOI":"10.1007\/3-540-36575-3_14"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. International Conference on Logic Programming (ICLP\/SLP)","author":"Gelfond M.","year":"1988"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/152610.152611"},{"key":"e_1_3_2_1_35_1","unstructured":"doi: 10.1145\/ 152610.152611.  doi: 10.1145\/ 152610.152611."},{"key":"e_1_3_2_1_36_1","volume-title":"Addison-Wesley","author":"Gregory S.","year":"1987"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134026"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/11785477_2.  doi: 10.1007\/11785477_2.","DOI":"10.1007\/11785477_2"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379665"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989456"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/41625.41635.  doi: 10.1145\/41625.41635.","DOI":"10.1145\/41625.41635"},{"key":"e_1_3_2_1_44_1","first-page":"10","author":"Jaffar J.","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1149114.1149117"},{"key":"e_1_3_2_1_49_1","volume-title":"Chung. Points-To Analysis with Efficient Strong Updates. In Proc. Principles of Programming Languages (POPL)","author":"Lhot\u00e1k O.","year":"2011"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765948"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/3-540-36579-6_12.  doi: 10.1007\/3-540-36579-6_12.","DOI":"10.1007\/3-540-36579-6_12"},{"key":"e_1_3_2_1_52_1","first-page":"10","author":"Li N.","year":"2003","journal-title":"In Proc. Practical Aspects of Declarative Languages (PADL)"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/341176.341179"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1007\/3-540-46767-X_28.  doi: 10.1007\/3-540-46767-X_28.","DOI":"10.1007\/3-540-46767-X_28"},{"key":"e_1_3_2_1_55_1","volume-title":"Proc. Artificial Intelligence (AAAI)","author":"Lifschitz V.","year":"2008"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"F. Martin. PAG \u2013 An Efficient Program Analyzer Generator. Journal on Software Tools for Technology Transfer (STTT) 1998. doi: 10.1007\/s100090050017.  F. Martin. PAG \u2013 An Efficient Program Analyzer Generator. Journal on Software Tools for Technology Transfer (STTT) 1998. doi: 10.1007\/s100090050017.","DOI":"10.1007\/s100090050017"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. Logic-Based Program Synthesis and Transformation (LOPSTR)","author":"M\u00e9ndez-Lojo M.","year":"2007"},{"key":"e_1_3_2_1_58_1","unstructured":"doi: 10.1007\/ 978-3-540-78769-3_11.  doi: 10.1007\/ 978-3-540-78769-3_11."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90035-2"},{"key":"e_1_3_2_1_60_1","unstructured":"doi: 10.1016\/ 0743-1066(92)90035-2.  doi: 10.1016\/ 0743-1066(92)90035-2."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449792"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/1449764.1449792.  doi: 10.1145\/1449764.1449792.","DOI":"10.1145\/1449764.1449792"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11970-5_8"},{"key":"e_1_3_2_1_64_1","author":"Nielson F.","year":"2002","journal-title":"A Succinct Solver for ALFP. Nordic Journal of Computing (NJC)"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_21"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863539"},{"key":"e_1_3_2_1_67_1","unstructured":"1863539.  1863539."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_14"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"crossref","unstructured":"doi: 10.1145\/1926385.1926390.  doi: 10.1145\/1926385.1926390.","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_73_1","volume-title":"MIT Press","author":"Sterling L.","year":"1994"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000500"},{"key":"e_1_3_2_1_75_1","unstructured":"J. D. Ullman. Principles of Database Systems. Galgotia publications 1984.   J. D. Ullman. Principles of Database Systems. Galgotia publications 1984."},{"key":"e_1_3_2_1_76_1","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems Volume I. Computer Science Press 1988.   J. D. Ullman. Principles of Database and Knowledge-Base Systems Volume I. Computer Science Press 1988."},{"key":"e_1_3_2_1_77_1","volume-title":"Proc","author":"Vall\u00e9e-Rai R.","year":"1999"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908096","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:49Z","timestamp":1750208089000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908096"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":80,"alternative-id":["10.1145\/2908080.2908096","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908096","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908096","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}