{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T02:52:35Z","timestamp":1648522355738},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"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,12]]},"DOI":"10.1007\/bf03037944","type":"journal-article","created":{"date-parts":[[2009,4,25]],"date-time":"2009-04-25T00:08:12Z","timestamp":1240618092000},"page":"361-384","source":"Crossref","is-referenced-by-count":1,"title":["Meta-Level interpretation of constraint languages a case study: Logical primitives"],"prefix":"10.1007","volume":"10","author":[{"given":"Timothy J.","family":"Hickey","sequence":"first","affiliation":[]},{"given":"Jacques","family":"Cohen","sequence":"additional","affiliation":[]},{"given":"Veronique","family":"Deschamps","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037944_CR1","unstructured":"Abramson, H., Rogers, M.H.,Meta-Programming in Logic Programming, MIT Press, 1989."},{"key":"BF03037944_CR2","unstructured":"Van Caneghem, M.,L\u2019Anatomie de Prolog, Inter Edition, Paris, 1986."},{"key":"BF03037944_CR3","doi-asserted-by":"crossref","unstructured":"Clark, K. L., \u201cNegation as Failure,\u201d inLogic and Data Bases (H. Gallaire and J. Minker, eds.), Plenum Press, pp. 293\u2013322, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"BF03037944_CR4","unstructured":"Colmerauer, A., \u201cSolving Equations and Inequations on Finite and Infinite Trees,\u201dProceedings of the Conference on Fifth Generation Computer Systems, Tokyo, Nov. 1984, pp. 85\u201399, 1984."},{"key":"BF03037944_CR5","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., \u201cAn Introduction to Prolog III,\u201dCommunications of the ACM, July 1990.","DOI":"10.1007\/978-3-642-76274-1_2"},{"key":"BF03037944_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, J., \u201cConstraint Logic Programming Languages,\u201dCommunications of the ACM, July 1990.","DOI":"10.1145\/79204.79209"},{"key":"BF03037944_CR7","unstructured":"Cohen, J., Koiran, P. and Perrin, C., \u201cMeta-Level Interpretation of CLP (Linear Lists, Integers) Enhanced by Lazy Evaluation and Enumeration,\u201dTechnical Report, Brandeis University, 1991."},{"key":"BF03037944_CR8","unstructured":"Cohen, J. and Richard, J-P., \u201cMeta-Level Interpretation of CLP (Booleans),\u201dTechnical Report, Brandeis University, 1991."},{"key":"BF03037944_CR9","unstructured":"Imbert, J-L., Cohen, J. and Weeger, M-D., \u201cEfficient and Incremental Testing of the Satisfiability of Linear Constraints,\u201dTechnical Report, Brandeis University, 1991."},{"key":"BF03037944_CR10","unstructured":"Jaffar, J. and Michaylov, S., \u201cMethodology and Implementation of a Constraint Logic Programming System,\u201dProceedings of the Fourth International Conference on Logic Programming, Melbourne, MIT Press, pp. 196\u2013218, 1987. (a revised version of this paper has been presented in the Languages and Constraints Workshop, Alton Jones Campus Rhode Island, April 1988)."},{"key":"BF03037944_CR11","doi-asserted-by":"crossref","unstructured":"Jaffar, J. and Lassez, J-L., \u201cConstraint Logic Programming,\u201dProceedings of the 14th ACM Symposium on the Principles of Programming Languages, pp. 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"BF03037944_CR12","unstructured":"Special Issue of Partial Evaluation,New Genrration Computing, 6, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037944.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037944\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:41Z","timestamp":1558572761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037944"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF03037944"],"URL":"https:\/\/doi.org\/10.1007\/bf03037944","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}