{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:20Z","timestamp":1742593220998,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539193"},{"type":"electronic","value":"9783540463986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53919-0_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:17:47Z","timestamp":1330208267000},"page":"87-96","source":"Crossref","is-referenced-by-count":0,"title":["Debugger for a parallel logic programing language Fleng"],"prefix":"10.1007","author":[{"given":"Junichi","family":"Tatemura","sequence":"first","affiliation":[]},{"given":"Hidehiko","family":"Tanaka","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Brock, J. D. and Ackermann, W. B.: Scenarios: A Model of Nondeterminate Computation, Lecture Notes in Computer Science, No. 107, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Clark, K. and Gregory, S.: PARLOG: Parallel Programming in Logic, In ACM Transactions on Programming Language and Systems, Vol. 8, No. 1, 1986.","DOI":"10.1145\/5001.5390"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Lichtenstein, Y. and Shapiro E.: Abstract Algorithmic Debugging, Logic programming: proceedings of the fifth international conference and symposium, 1988.","DOI":"10.1145\/68210.69239"},{"key":"6_CR4","unstructured":"Murakami, M.: An Axiomatic Verification Method for Synchronization of Guarded Horn Clauses Programs, Technical Report TR-339, 1988."},{"key":"6_CR5","unstructured":"Murakami, M.: A Declarative Semantics of Parallel Logic Programs with Perpetual Processes, Technical Report TR-406, ICOT, 1988."},{"key":"6_CR6","unstructured":"Nilsson, M. and Tanaka, H.: Fleng Prolog \u2014 The Language which turns Supercomputers into Prolog Machines, In Wada, E. (Ed.): Logic Programming '86, LNCS 264, Springer-Verlag, 1986."},{"key":"6_CR7","unstructured":"Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter, Technical Report TR-003, ICOT, 1983."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic Program Debugging, MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"6_CR9","unstructured":"Takeuchi, A.: Algorithmic Debugging of GHC Programs and Its Implementation in GHC, Technical Report TR-185, ICOT, 1986."},{"key":"6_CR10","unstructured":"Takeuchi, A.: A Semantic Model of Guarded Horn Clauses Technical Report, ICOT, 1987."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Ueda, K.: Guarded Horn Clauses, Technical Report, TR-103, ICOT, 1985.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"6_CR12","unstructured":"Ueda, K.: GHC Compiler User's Guide, NEC Corporation, 1985."}],"container-title":["Lecture Notes in Computer Science","Logic Programming '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53919-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:11:39Z","timestamp":1742591499000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53919-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539193","9783540463986"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-53919-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}