{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T23:10:03Z","timestamp":1745104203770,"version":"3.40.4"},"reference-count":26,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2012,10,30]],"date-time":"2012-10-30T00:00:00Z","timestamp":1351555200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We show how logic programs with \u201cdelays\u201d can be transformed to programs without delays in a way that preserves information concerning floundering (also known as deadlock). This allows a declarative (model-theoretic), bottom-up or goal-independent approach to be used for analysis and debugging of properties related to floundering. We rely on some previously introduced restrictions on delay primitives and a key observation which allows properties such as groundness to be analysed by approximating the (ground) success set.<\/jats:p>","DOI":"10.1017\/s147106841200035x","type":"journal-article","created":{"date-parts":[[2012,10,30]],"date-time":"2012-10-30T13:25:53Z","timestamp":1351603553000},"page":"215-238","source":"Crossref","is-referenced-by-count":0,"title":["Transforming floundering into success"],"prefix":"10.1017","volume":"14","author":[{"given":"LEE","family":"NAISH","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2012,10,30]]},"reference":[{"key":"S147106841200035X_ref18","first-page":"166","article-title":"A three-valued declarative debugging scheme.","volume":"22","author":"Naish","year":"2000","journal-title":"Australian Computer Science Communications"},{"key":"S147106841200035X_ref23","doi-asserted-by":"publisher","DOI":"10.1145\/73721.73724"},{"key":"S147106841200035X_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50020-8"},{"volume-title":"Proceedings of the 35th Australasian Computer Science Conference (ACSC 2012)","year":"2012","author":"Naish","key":"S147106841200035X_ref21"},{"key":"S147106841200035X_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/293677.293680"},{"key":"S147106841200035X_ref4","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177656"},{"key":"S147106841200035X_ref24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1983"},{"key":"S147106841200035X_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"S147106841200035X_ref25","first-page":"499","volume-title":"Proceedings of the Australian Computer Science Conference","author":"Somogyi","year":"1995"},{"key":"S147106841200035X_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002742"},{"key":"S147106841200035X_ref26","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"S147106841200035X_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00013-1"},{"key":"S147106841200035X_ref17","first-page":"185","volume-title":"Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming","author":"Naish","year":"1996"},{"key":"S147106841200035X_ref6","first-page":"215","volume-title":"Proceedings of the North American Conference on Logic Programming","author":"Codognet","year":"1990"},{"key":"S147106841200035X_ref20","first-page":"302","volume-title":"Proceedings of the 23rd International Conference on Logic Programming","author":"Naish","year":"2007"},{"key":"S147106841200035X_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1352582.1352585"},{"key":"S147106841200035X_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"key":"S147106841200035X_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6"},{"key":"S147106841200035X_ref22","first-page":"93","volume-title":"Proceedings of the 1997 International Conference on Logic Programming","author":"Puebla","year":"1997"},{"key":"S147106841200035X_ref3","first-page":"747","volume-title":"Proceedings of the Twelfth International Conference on Logic Programming","author":"Boye","year":"1995"},{"key":"S147106841200035X_ref7","first-page":"395","volume-title":"Proceedings of the Andrei Ershov Fourth International Conference on Perspectives of System Informatics (PSI'01)","author":"Cortesi","year":"2001"},{"key":"S147106841200035X_ref13","first-page":"240","volume-title":"Proceedings of the 20th Annual ACM","author":"Marriott","year":"1994"},{"key":"S147106841200035X_ref16","first-page":"181","article-title":"Coroutining and the construction of terminating logic programs.","volume":"15","author":"Naish","year":"1993","journal-title":"Australian Computer Science Communications"},{"key":"S147106841200035X_ref14","first-page":"661","volume-title":"Proceedings of the North American Conference on Logic Programming","author":"Marriott","year":"1990"},{"volume-title":"From Logic Programming to Prolog","year":"1996","author":"Apt","key":"S147106841200035X_ref2"},{"key":"S147106841200035X_ref15","first-page":"1546","volume-title":"Proceedings of the Fifth International Conference Symposium on Logic Programming","author":"Naish","year":"1988"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S147106841200035X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T22:50:07Z","timestamp":1745103007000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106841200035X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,30]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S147106841200035X"],"URL":"https:\/\/doi.org\/10.1017\/s147106841200035x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2012,10,30]]}}}