{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:07Z","timestamp":1725664987499},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61739-6_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:19:37Z","timestamp":1330294777000},"page":"83-97","source":"Crossref","is-referenced-by-count":2,"title":["Proving correctness of Constraint Logic Programs with dynamic scheduling"],"prefix":"10.1007","author":[{"given":"F. S.","family":"Boer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gabbrielli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","unstructured":"K. R. Apt. Declarative Programming in Prolog. In D. Miller, editor, Proceedings of the Int'l Symposium on Logic Programming, The MIT Press, pages 11\u201335x, 1993."},{"key":"7_CR2","first-page":"1","volume-title":"LNCS","author":"K. R. Apt","year":"1995","unstructured":"K. R. Apt and I. Luitjes. Verification of logic programs with delay declarations. In A. Borzyszkowski and S. Sokolowski, editors, Proc. of AMAST, LNCS, pages 1\u201319, Berlin, 1995. Springer-Verlag."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi. Proving Concurrent Constraint Programs Correct. In Proc. of Twentyfirst POPL, ACM Press, 1994.","DOI":"10.1145\/174675.176925"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"F.S. de Boer and C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T.S.E. Maibaum, editors, Proc. of TAPSOFT\/CAAP, LNCS 493, pages 296\u2013319. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_17"},{"key":"7_CR5","unstructured":"M. Carlsson. SICStus Prolog User's Manual. Po Box 1263, S-16313 Spanga, Sweden, February 1988."},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S.A. Cook","year":"1978","unstructured":"S.A. Cook. Soundness and completeness of an axiom system for program verification. SIAM J. Computation, 7(1):70\u201390, 1978.","journal-title":"SIAM J. Computation"},{"key":"7_CR7","unstructured":"P. M. Hill and J. W. Lloyd. The G\u00f6del programming language. The MIT Press, 1994."},{"key":"7_CR8","unstructured":"L. Henkin, J.D. Monk, and A. Tarski. Cylindric Algebras (Part I). North-Holland, 1971."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. of POPL, pages 111\u2013119. ACM Press, 1987.","DOI":"10.1145\/41625.41635"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\/20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"7_CR11","unstructured":"R. Jagadeesan, V.A. Saraswat, and V. Shanbhogue. Angelic non-determinism in concurrent constraint programming. Technical report, Xerox Park, 1991."},{"key":"7_CR12","unstructured":"S. L\u00fcttringhaus-Kappel. Control generation for logic programs. In D.S. Warren, editor, Proc. Tenth Int'l Conf. on Logic Programming, pages 478\u2013495. MIT Press, 1993."},{"key":"7_CR13","unstructured":"E. Marchiori and F. Teusink. Proving termination of logic programs with delay declarations. In J. Lloyd, editor, Proc. of ILPS. MIT Press, 1995."},{"key":"7_CR14","unstructured":"K. Marriott, M. Falaschi, M. Gabbrielli and C. Palamidessi. A simple semantics for logic programming languages with delay. In R. Kotagiri, editor, Proc. Eighteenth Australian Computer Science Conf., Australian Computer Science Comm. 17 (1): 356\u2013363, 1995."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"K. Marriott, M. Garcia de la Banda and M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. Proc. of POPL, pages 240\u2013253. ACM Press, 1994.","DOI":"10.1145\/174675.177883"},{"key":"7_CR16","unstructured":"L. Naish. An introduction to MU-Prolog. Technical Report 82\/2, The University of Melbourne, 1982."},{"key":"7_CR17","unstructured":"L. Naish. Negation and Control in Prolog, LNCS 238, Springer-Verlag, 1985."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat and M. Rinard. Concurrent constraint programming. In Proc. of POPL, pages 232\u2013245, 1990.","DOI":"10.1145\/96709.96733"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat, M. Rinard, and P. Panangaden. Semantics foundations of Concurrent Constraint Programming. In Proc. of POPL, 1991.","DOI":"10.1145\/99583.99627"},{"key":"7_CR20","unstructured":"Mark Wallace and Andr\u00e9 Veron. Two problems \u2014 two solutions: One system \u2014 ECLiPSe. In Proc. IEEE Colloquium on Advanced Software Technologies for Scheduling, London, 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:04Z","timestamp":1605647404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}