{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:34Z","timestamp":1725663874993},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:45:48Z","timestamp":1330235148000},"page":"278-289","source":"Crossref","is-referenced-by-count":1,"title":["Software formal specification by logic programming: The example of standard Prolog"],"prefix":"10.1007","author":[{"given":"AbdelAli","family":"Ed-Dbali","sequence":"first","affiliation":[]},{"given":"Pierre","family":"Deransart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"19_CR1","unstructured":"Apt, K. R., Blair, H., Walker, A.: Toward a theory of declarative Knowledge. LITP, RR 86-10 (Fed. 1986)"},{"key":"19_CR2","unstructured":"Deransart, P.: Proof Methods of Declarative Properties of Definite Programs. RR 1248, INRIA-Rocquencourt, (June 1990) 64p (to appear in TCS)."},{"key":"19_CR3","unstructured":"Deransart, P., Ferrand, G.: Proof Method of Partial Correctness and Partial Completeness for Normal Logic Programs. RR 92-4, LIFO, University of Orl\u00e9ans, (April 1992) 12p. To appear in ICLP'92 proceedings (Washington DC, Nov 1992)."},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF03037477","volume":"10","author":"P. Deransart","year":"1992","unstructured":"Deransart, P., Ferrand, G.: An Operational Formal Definition of Prolog: A Specification Method and its Application. New Generation Computing 10 (1992) 121\u2013171.","journal-title":"New Generation Computing"},{"key":"19_CR5","unstructured":"Ed-Dbali, A., Deransart, P., Scowen, R. (ed.): Prolog, A guide to the executable specification. ISO\/IEC JTC1 SC22 WG17 N71, (Jan 1991)"},{"key":"19_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd, J. W.: Foundations of logic programming (First ed.). Springer-Verlag, Berlin, (1984)","edition":"First ed."},{"key":"19_CR7","unstructured":"Renault, S.: Logic Programs Validation (in French). DEA Repport, University of Paris 7, (September 1991) 65p."},{"key":"19_CR8","unstructured":"Scowen, R. (ed.): Prolog Part 1 \u2014 General Core. ISO\/IEC JTC1 SC22 WG17 N92 (March 1992)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:47:36Z","timestamp":1619556456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}