{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:23Z","timestamp":1761611243180,"version":"3.37.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1007\/bf03037477","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:05:32Z","timestamp":1240542332000},"page":"121-171","source":"Crossref","is-referenced-by-count":8,"title":["An operational formal definition of PROLOG: a specification method and its application"],"prefix":"10.1007","volume":"10","author":[{"given":"Pierre","family":"Deransart","sequence":"first","affiliation":[]},{"given":"G\u00e9rard","family":"Ferrand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037477_CR1","unstructured":"Apt, K. R., Blair, H. and Walker, A., \u201cToward a Theory of Declarative Knowledge,\u201dLITP Res. Report, 86\u201310, Feb. 1986."},{"issue":"3","key":"BF03037477_CR2","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt, K. R. and Van Emden, M. H., \u201cContribution to the Theory of Logic Programming,\u201dJACM, 29, 3, pp. 841\u2013862, July 1982.","journal-title":"JACM"},{"key":"BF03037477_CR3","unstructured":"Apt, K. R., \u201cIntroduction to Logic Programming,\u201dTechnical Report, CS R8826, Centre for Mathematics and Computer Science, 1988. To appear inHandbook of Theoretical Computer Science (J. Van Leeuwen, ed.), North Holland."},{"key":"BF03037477_CR4","unstructured":"Billaud, M., \u201cSimple Operational and Denotation Semantics for Prolog with Cut,\u201dInformatika 88 (INRIA Deransart, ed.), May 1988."},{"key":"BF03037477_CR5","unstructured":"Batllou, N. and Lardot, L., \u201cA Theory of Testing in Logic Programming,\u201dICLP\u201990, Preconference Workshop on Logic Programming Environments, Eilat, June 1990."},{"key":"BF03037477_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., \u201cA Logical Operational Semantics of Full Prolog. Part I. Selection Core and Control,\u201dThird Workshop on Computer Science Logic (CSL\u201989), LNCS 440 (B\u00f6rger et al., eds.), Springer-Verlag, pp. 36\u201364, Oct. 1989.","DOI":"10.1007\/3-540-52753-2_31"},{"key":"BF03037477_CR7","unstructured":"Byrd, L., \u201cUnderstanding the Control Flow of Programs,\u201d inLogic Programming Workshop, Debrencen, Dec. 1980."},{"issue":"1","key":"BF03037477_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG, A Parallel Programming on Logic,\u201dACM Transactions on Programming Languages and Systems, 8, 1, pp. 1\u201349, Jan. 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037477_CR9","unstructured":"Clark, K. L., \u201cPredicate Logic as a Computational Formalism,\u201dRes. Mon. 79\/59 TOC, Imperial College, Dec. 1979."},{"key":"BF03037477_CR10","unstructured":"Colmerauer, A., \u201cProlog II: Manuel de reference et modele theorique,\u201dGIA, Univ. of Marseille, 1982."},{"key":"BF03037477_CR11","unstructured":"Delahaye, J. P., \u201cS\u00e9mantique logique et d\u00e9notationnelle des interpr\u00e9terurs PROLOG,\u201dNote IT, 84, Univ. of Lille 1986."},{"key":"BF03037477_CR12","unstructured":"Deransart, P., \u201cProof Methods of Declarative Properties of Definite Programs,\u201dINRIA RR 1248, June 1990 (to appear inTCS)."},{"key":"BF03037477_CR13","unstructured":"Deransart, P. and Ferrand, G., \u201cInitiation a PROLOG, Concepts de base,\u201dPub. du Lab. d\u2019Informatique, Univ. of Orleans, June 1986."},{"key":"BF03037477_CR14","unstructured":"Deransart, P. and Ferrand, G., \u201cAn Operational Formal Description of PROLOG,\u201d4th Symposium on Logic Programming, San Francisco, pp. 162\u2013172, 1987."},{"key":"BF03037477_CR15","unstructured":"Deransart, P. and Ferrand, G., \u201cLogic Programming, Methodology and Teaching,\u201dFrench Japan Symposium (K. Fuchi and L. Kott, eds.), North Holland, Aug. 1988."},{"key":"BF03037477_CR16","doi-asserted-by":"crossref","unstructured":"Deransart, P. and Ferrand, G., \u201cA Methodological View of Logic Programming with Negation,\u201dINRIA RR 1011, April 1989.","DOI":"10.1007\/3-540-50820-1_50"},{"key":"BF03037477_CR17","unstructured":"Deransart, P. and Ferrand, G., \u201cProving the Correctness and Completenss of Logic Programs with Negation (to appear)."},{"key":"BF03037477_CR18","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","volume":"2","author":"P. Deransart","year":"1985","unstructured":"Deransart, P. and Maluszynski, J., \u201cRelating Logic Programs and Attribute Grammars,\u201dJournal of Logic Programming, 2, pp. 119\u2013155, 1985.","journal-title":"Journal of Logic Programming"},{"key":"BF03037477_CR19","unstructured":"Debray, S. K. and Mishra, P., \u201cDenotational and Operational Semantics for Prolog,\u201dTR 86\/15, SUNY at Stony Brook, July 1986."},{"key":"BF03037477_CR20","unstructured":"Deransart, P. and Richard, G., \u201cThe Formal Specification of PROLOG Standard-Draft-BSI PS\/198,\u201dAFNOR F41, March 1987, Draft 2, Aug. 1987."},{"key":"BF03037477_CR21","unstructured":"Ed-Dbali, A., Deransart, P. and Scowen, R. (ed.), \u201cPROLOG A Guide to the Executable Semantics,\u201dISO\/IEC JTC1 SC22 WG17 N71, Distrib:NPL, DITC\/93, Teddington, Middlesex, England TW11 OLW, 1991."},{"key":"BF03037477_CR22","unstructured":"Ferrand, G., \u201cA Reconstruction of Logic Programming with Negation,\u201dPublication du Laboratoire d\u2019Informatique, 86-5, Univ. of Orleans, Dec. 1986."},{"key":"BF03037477_CR23","doi-asserted-by":"crossref","unstructured":"Ferrand, G., \u201cError Diagnosis in Logic Programming, an Adaptation of E. Y. Shapiro\u2019s Method,\u201dRR375, INRIA Rocquencourt, MarchO 1985, andJournal of Logic Programming, 49, pp. 177\u2013198, 1987.","DOI":"10.1016\/0743-1066(87)90001-X"},{"key":"BF03037477_CR24","doi-asserted-by":"crossref","unstructured":"Frandsen, G., \u201cA Denotational Semantics for Logic Programming,\u201dDAIMI PB 201, Aarhus University, Nov. 1985.","DOI":"10.7146\/dpb.v14i201.7552"},{"key":"BF03037477_CR25","unstructured":"Gallier, J. H., Logic for Computer Science, Harper & Row, 1986."},{"key":"BF03037477_CR26","series-title":"ICLP\u201990, Proceedings","volume-title":"Logic Programs with Classical Negation","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M. and Lifschitz, V., \u201cLogic Programs with Classical Negation,\u201dICLP\u201990, Proceedings (D. H. D. Warren and P. Szeredi, eds.), Jerusalem, MIT Press, June 1990."},{"key":"BF03037477_CR27","unstructured":"Hsiang, J. and Srivas, M., \u201cOn Proving First Order Inductive Properties in Horn Clauses,\u201dDSC Technical Report, TR 84\/075, State University of New York at Stony Brook, April 1984."},{"key":"BF03037477_CR28","unstructured":"Jones, N. D. and Mycroft, A., \u201cStepwise Development of Operational and Denotational Semantics for Prolog,\u201dProc. 1984 Int. Symp. on Logic Programming, Atlantic City, N. J., 1984."},{"key":"BF03037477_CR29","unstructured":"Kanamori, T., Fujita, H., Horiuchi, K. and Maeji, M., \u201cARGUS\/V: A System for Verification of Prolog Programs,\u201dICOT Technical Report, TR-176, p. 11, May 1986."},{"key":"BF03037477_CR30","unstructured":"O\u2019Keefe, R. A., \u201cA Formal Definition of Prolog,\u201dBSI PS\/22, Univ. of Auckland."},{"key":"BF03037477_CR31","doi-asserted-by":"crossref","unstructured":"Kanamori, T. and Sato, H., \u201cVerification of Prolog Programs Using and Extension of Execution,\u201dICLP\u201986, LNCS 225, 1986.","DOI":"10.1007\/3-540-16492-8_96"},{"key":"BF03037477_CR32","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":"BF03037477_CR33","unstructured":"Moss, C. D. S., \u201cThe Formal Description of Programming Languages Using Predicate Logic,\u201dBSI PS\/37, Imperial College, July 1981."},{"key":"BF03037477_CR34","doi-asserted-by":"crossref","unstructured":"Martelli, A. and Rossi, G., \u201cOn the Semantics of Logic Programming Languages,\u201dThird Int. Conf. on Logic Programming, LNCS 225, London, pp. 327\u2013334, July 1986.","DOI":"10.1007\/3-540-16492-8_85"},{"key":"BF03037477_CR35","unstructured":"Marriot, K. and Sondergaard, H., \u201cAbstract Interpretation of Logic Programs: The Denotational Approach,\u201d inProceedings of the 5th GULP, Padova, Italy, pp. 399\u2013425, June 1988."},{"key":"BF03037477_CR36","unstructured":"North, N. D., \u201cPROLOG A Denotational Definition,\u201dBSI-IST\/5\/15, PS141, National Physical Laboratory, Sept. 1986 (alsoPh. D thesis)."},{"key":"BF03037477_CR37","unstructured":"Pereira, F., Warren, D., Bowen, D., Byrd, L. and Pereira, L.,C-Prolog User\u2019s Manual, SRI International, Calif., Feb. 1984."},{"key":"BF03037477_CR38","unstructured":"Richard, G., \u201cContribution \u00e0 la R\u00e9alisation d\u2019une Sp\u00e9cification Formelle pour Prolog,\u201dPh. D thesis, Universit\u00e9 d\u2019Orl\u00e9ans, June 1989."},{"key":"BF03037477_CR39","doi-asserted-by":"crossref","unstructured":"Robinson, J. A., \u201cA Machine Oriented Logic Based on the Resolution Principle,\u201dJACM 12, 1.","DOI":"10.1145\/321250.321253"},{"key":"BF03037477_CR40","unstructured":"Richard, G. and Rizk, A., \u201cSemantics of the Concurrent Logic Programming, Language PARLOG,\u201dINRIA RR 848, May 1988."},{"key":"BF03037477_CR41","unstructured":"Scowen, R.: PROLOG Draft for Working Draft 4.0,\u201dISO\/IEC JTC1 SC22 WG17 N64, Distrib:NPL, DITC\/93, Teddington, Middlesex, England TW11 OLW, Sept. 1990."},{"key":"BF03037477_CR42","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y.,Algorithmic Program Debugging, MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037477.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037477\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:51Z","timestamp":1739076051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["BF03037477"],"URL":"https:\/\/doi.org\/10.1007\/bf03037477","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}