{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:53Z","timestamp":1750307813004,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"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":[[2008,7,15]]},"DOI":"10.1145\/1389449.1389450","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Declarative programming for verification"],"prefix":"10.1145","author":[{"given":"Michael","family":"Leuschel","sequence":"first","affiliation":[{"name":"University of D\u00fcsseldorf"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"volume-title":"Principles, Techniques, and Tools","year":"2007","author":"Aho A. V.","key":"e_1_3_2_1_1_1"},{"volume-title":"Proceedings of FATES'02","year":"2002","author":"Ambert F.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","first-page":"495","volume-title":"Handbook of Theoretical Computer Science","author":"Apt K. R.","year":"1990"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238850"},{"volume-title":"On-line manual","year":"1999","author":"Ltd Core","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11955757_27"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701481"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694481"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_16"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692956"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227597"},{"volume-title":"Model Checking","year":"1999","author":"Clarke E. M.","key":"e_1_3_2_1_13_1"},{"volume-title":"ICLP, page 416","year":"1997","author":"Codish M.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646453.693107"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100049"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013970"},{"key":"e_1_3_2_1_18_1","first-page":"424","volume-title":"Proceedings Integrated Formal Methods (IFM 2000), LNCS 1945","author":"Ferreira C.","year":"2000"},{"key":"e_1_3_2_1_19_1","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement - FDR2 User Manual (version 2.8.2).]]  Formal Systems (Europe) Ltd. Failures-Divergence Refinement - FDR2 User Manual (version 2.8.2).]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647282.722922"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198537922.003.0010"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/3921"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/503188.503202"},{"key":"e_1_3_2_1_25_1","first-page":"14","volume-title":"Proceedings of PADL'01","author":"Leuschel M.","year":"1990"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0063-9"},{"key":"e_1_3_2_1_28_1","first-page":"101","volume-title":"Proceedings of the International Conference on Computational Logic (CL'2000)","author":"Leuschel M.","year":"1861"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351298"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/271510.271525"},{"key":"e_1_3_2_1_31_1","first-page":"63","volume-title":"Proceedings LOPSTR'99","author":"Leuschel M.","year":"1817"},{"volume-title":"Proceedings Isola 2007","year":"2007","author":"Leuschel M.","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/39279"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00015-X"},{"key":"e_1_3_2_1_36_1","first-page":"384","volume-title":"Proceedings of the International Conference on Computational Logic (CL'2000)","author":"Nilsson U.","year":"1861"},{"volume-title":"Proceedings Tabling in Parsing and Deduction TAPD 2000","year":"2000","author":"Pokorny R. L.","key":"e_1_3_2_1_37_1"},{"key":"e_1_3_2_1_38_1","first-page":"143","volume-title":"Proceedings CAV'97","author":"Ramakrishna Y. S.","year":"1997"},{"key":"e_1_3_2_1_39_1","first-page":"81","volume-title":"LPE","author":"Reintjes P. B.","year":"1993"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014010"},{"volume-title":"The Theory and Practice of Concurrency","year":"1999","author":"Roscoe A. W.","key":"e_1_3_2_1_41_1"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/191839.191927"},{"key":"e_1_3_2_1_43_1","unstructured":"K. Sagonas T. Swift D. S. Warren J. Freire P. Rao B. Cui E. Johnson L. de Castro R. F. Marques S. Dawson and M. Kifer. XSB Programmer's Manual. Available at http:\/\/xsb.sourceforge.net\/.]]  K. Sagonas T. Swift D. S. Warren J. Freire P. Rao B. Cui E. Johnson L. de Castro R. F. Marques S. Dawson and M. Kifer. XSB Programmer's Manual. Available at http:\/\/xsb.sourceforge.net\/.]]"},{"volume-title":"Oxford University","year":"1997","author":"Scattergood J. B.","key":"e_1_3_2_1_44_1"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068407003134"},{"key":"e_1_3_2_1_46_1","unstructured":"S. SICS Kista. SICStus Prolog User's Manual. Available at http:\/\/www.sics.se\/sicstus.]]  S. SICS Kista. SICStus Prolog User's Manual. Available at http:\/\/www.sics.se\/sicstus.]]"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.33"},{"volume-title":"User and Reference Manuals","year":"1996","author":"Steria F.","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2007.50"},{"key":"e_1_3_2_1_50_1","first-page":"1","volume-title":"TACAS'01","author":"Vardi M. Y.","year":"2031"},{"key":"e_1_3_2_1_51_1","first-page":"279","volume-title":"Proceedings of the 21st Australasian Computer Science Conference","author":"Winikoff M.","year":"1998"}],"event":{"name":"PPDP08: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Valencia Spain","acronym":"PPDP08"},"container-title":["Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389450","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389449.1389450","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389449.1389450"}},"subtitle":["lessons and outlook"],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":48,"alternative-id":["10.1145\/1389449.1389450","10.1145\/1389449"],"URL":"https:\/\/doi.org\/10.1145\/1389449.1389450","relation":{},"subject":[],"published":{"date-parts":[[2008,7,15]]},"assertion":[{"value":"2008-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}