{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:51Z","timestamp":1725664551749},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:33:13Z","timestamp":1330277593000},"page":"374-385","source":"Crossref","is-referenced-by-count":4,"title":["A semantics-based determinacy analysis for prolog with cut"],"prefix":"10.1007","author":[{"given":"Torben \u00c6.","family":"Mogensen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"31_CR1","volume-title":"Abstract Interpretation of Declarative Languages","author":"S. Abramsky","year":"1987","unstructured":"S. Abramsky and C. Hankin, Abstract Interpretation of Declarative Languages, Chichester: Ellis Horwood, 1987."},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"A. de Bruin and E.P. de Vink, Continuation Semantics for PROLOG with Cut, Proceedings of TAPSOFT'89, Springer LNCS 351, pp. 178\u2013192, 1989.","DOI":"10.1007\/3-540-50939-9_132"},{"key":"31_CR3","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and P. Mishra, Denotational and Operational Semantics for Prolog, Journal of Logic Programming 5, pp. 61\u201391, 1988.","journal-title":"Journal of Logic Programming"},{"key":"31_CR4","unstructured":"N. D. Jones and A. Mycroft, Stepwise Development of Operational and Denotational Semantics for PROLOG, 1984 International Symposium on Logic Programming, pp. 281\u2013288, IEEE Computer Society Press 1984."},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"G. D. Plotkin, A Powerdomain Construction, SIAM J. of Computing, Vol 5, No.3, September 1976.","DOI":"10.1137\/0205035"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"D. Sahlin, Determinacy Analysis for Full Prolog, Proceedings of PEPM'91, pp. 23\u201330, ACM Press 1991.","DOI":"10.1145\/115865.115869"},{"key":"31_CR7","unstructured":"SICStus Prolog User's Manual (v. 2.1), SICS, 1983"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:37:43Z","timestamp":1619559463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}