{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:48Z","timestamp":1742617128240,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540194262"},{"type":"electronic","value":"9783540392675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19426-6_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:10:10Z","timestamp":1330200610000},"page":"215-235","source":"Crossref","is-referenced-by-count":1,"title":["Proving partial correctness of guarded horn clauses programs"],"prefix":"10.1007","author":[{"given":"Masaki","family":"Murakami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"K. L. Clark and S. Gregory, PARLOG: Parallel programming in logic, ACM Trans. on Programming Language and Systems 86, 1986","DOI":"10.1145\/5001.5390"},{"key":"14_CR2","unstructured":"Y. Kameyama, Axiomatic System for Concurrent Logic Programming Languages, Master's Thesis of the University of Tokyo 1987"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"T. Kanamori and H. Seki, Verification of Prolog Programs Using an Extension of Execution, Lecture Notes in Comp. Sci., No. 225, 1986","DOI":"10.1007\/3-540-16492-8_96"},{"key":"14_CR4","unstructured":"G. Levi and C. Palamidessi, The Declarative Semantics of Logical Read-only Variables, Prc. of Symp. on Logic Programming 85 1985"},{"key":"14_CR5","unstructured":"G. Levi and C. Palamidessi, An Approach to The Declarative Semantics of Synchronization in Logic Language, to appear in Proc. of International Conf. on Logic Programming 87, 1987"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"M. Murakami and Y. Inagaki, Verification System for Partial Correctness of Communicating Sequential Processes, Systems and Computers in Japan, 1986","DOI":"10.1002\/scj.4690171102"},{"key":"14_CR7","unstructured":"M. Murakami, Toward Axiomatic Semantics of Guarded Horn Clauses, 2nd France-Japan Artificial Intelligence and Computer Science Symposium, 1987"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, Partial Correctness Semantics for CP [\u2193, \u00a6, &], Lecture Notes in Comp. Sci., no. 206, 1985","DOI":"10.1007\/3-540-16042-6_20"},{"key":"14_CR9","unstructured":"V. A. Saraswat, GHC: Operational Semantics, Problems, and Relationships with CP (\u2193, \u00a6), Prc. of Symp. on Logic Programming 87 1987"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"N. Saundararajan, Axiomatic Semantics of Communicating Sequential Processes, ACM Trans. on Programming Languages and Systems, Vol. 6, No. 4, 1984","DOI":"10.1145\/1780.1805"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro, Concurrent Prolog: A progress report, Lecture Notes in Comp. Sci. No. 232, 1986","DOI":"10.1109\/MC.1986.1663307"},{"key":"14_CR12","unstructured":"A. Takeuchi, Towards a Semantic Model of GHC, Tec. Rep. of IECE, COMP86-59, 1986"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"K. Ueda, Guarded Horn Clauses, Tec. Rep. of ICOT, TR-103, 1985","DOI":"10.1007\/3-540-16479-0_17"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"K. Ueda, On Operational Semantics of Guarded Horn Clauses, Tec. Memo of ICOT, TM-0160, 1986","DOI":"10.1007\/3-540-16479-0_17"}],"container-title":["Lecture Notes in Computer Science","Logic Programming '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19426-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:44:02Z","timestamp":1742589842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19426-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540194262","9783540392675"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19426-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}