{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:36Z","timestamp":1725487656483},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_2","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"21-40","source":"Crossref","is-referenced-by-count":0,"title":["A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury"],"prefix":"10.1007","author":[{"given":"Dante","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Baudouin","family":"Le Charlier","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Lecl\u00e8re","sequence":"additional","affiliation":[]},{"given":"Isabelle","family":"Pollet","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"2_CR1","unstructured":"Krzysztof R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997."},{"key":"2_CR2","unstructured":"Dante Baldan and Baudouin Le Charlier. Declarative Semantics for Mercury. Technical report, Institute d\u2019 Informatique, FUNDP, Namur, Belgique, 1998."},{"key":"2_CR3","unstructured":"Dante Baldan, Baudouin Le Charlier, Chistophe Lecl\u00e8re, and Isabelle Pollet. Abstract Syntax and Typing Rules for Mercury. Technical report, Institute d\u2019Informatique, FUNDP, Namur,Belgique, 1998."},{"key":"2_CR4","unstructured":"Yves Deville. Logic Programming: Systematic Program Development. MIT Press, 1990."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Pierre Flener, Kung-Kiu Lau, and Mario Ornaghi. Correct-schema-guided synthesis of steadfast programs. In M. Lowry and Y. Ledru, editors, Proceedings of ASE\u201997, Computer Society Press. IEEE, 1997.","DOI":"10.1109\/ASE.1997.632835"},{"key":"2_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of LOPSTR\u201997","author":"P. Flener","year":"1997","unstructured":"Pierre Flener, Kung-Kiu Lau, and Mario Ornaghi. On correct program schemas. In N. E. Fuchs, editor, Proceedings of LOPSTR\u201997, LNCS. Springer-Verlag, 1997."},{"key":"2_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of PLILP\u201992","author":"J. Henrard","year":"1992","unstructured":"Jean Henrard and Baudouin Le Charlier. Folon: An environment for declarative construction of logic programs (extended abstract). In M. Bruynooghe and M. Wirsing, editors, Proc. of PLILP\u201992, volume 631 of LNCS, Leuven, Belgium, August 1992. Springer-Verlag."},{"key":"2_CR8","unstructured":"John W. Lloyd. Foundations of Logic Programming. Springer Series: Symbolic Computation-Artificial Intelligence. Springer-Verlag, second, extended edition edition, 1987."},{"key":"2_CR9","unstructured":"Lee Naish. Types and Intended Meaning. In F. Pfenning, editor, Types in Logic Programming. MIT Press, 1992."},{"issue":"1-3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Zoltan Somogyi, Fergus Henderson, and Thomas Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17\u201364, October-November 1996.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T04:43:01Z","timestamp":1550464981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}