{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:58Z","timestamp":1761611158179,"version":"build-2065373602"},"reference-count":16,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4958,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2000]]},"DOI":"10.1016\/s1571-0661(05)80103-3","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"144-162","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library"],"prefix":"10.1016","volume":"30","author":[{"given":"Daniel","family":"Cabeza","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80103-3_BIB1","article-title":"The Ciao Prolog System. Reference Manual","author":"Bueno","year":"1997","journal-title":"The Ciao System Documentation Series-TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM)"},{"issue":"2","key":"10.1016\/S1571-0661(05)80103-3_BIB2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1145\/316686.316688","article-title":"Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming","volume":"21","author":"Bueno","year":"1999","journal-title":"ACM Transactions on Programming Languages and Systems"},{"journal-title":"Higher-order Logic Programming in Ciao. Technical Report CLIP7\/99.0, Facultad de Inform\u00e1tica, UPM","year":"1999","author":"Cabeza","key":"10.1016\/S1571-0661(05)80103-3_BIB3"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB4","series-title":"Special Issue on Parallelism and Implementation of (C)LP Systems., Electronic Notes in Theoretical Computer Science","article-title":"The Ciao Module System: A New Module System for Prolog","author":"Cabeza","year":"2000"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB5","unstructured":"D. Cabeza, M. Hermenegildo, and S. Varma. The Pi LLoW\/CIAO Library for INTERNET\/WWW Programming using Computational Logic Systems. In Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, JICSLP'96, Bonn, September 1996. Available from http:\/\/clement.info.umoncton.ca\/~lpnet."},{"year":"1996","series-title":"Prolog: The Standard","author":"Deransart","key":"10.1016\/S1571-0661(05)80103-3_BIB6"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB7","unstructured":"M. Hermenegildo. Writing \u201cShell Scripts\u201d in SICStus Prolog, April 1996. Posting in comp.lang.prolog. Available from http:\/\/www.clip.dia.fi.upm.es\/."},{"key":"10.1016\/S1571-0661(05)80103-3_BIB8","series-title":"ICLP'99 Workshop on Logic Programming Environments","first-page":"80","article-title":"A Documentation Generator for Logic Programming Systems","author":"Hermenegildo","year":"1999"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB9","series-title":"1999 International Conference on Logic Programming","first-page":"52","article-title":"Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor","author":"Hermenegildo","year":"1999"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB10","unstructured":"International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. ISO\/IEC DIS 13211 \u2014 Part 1: General Core, 1994."},{"key":"10.1016\/S1571-0661(05)80103-3_BIB11","unstructured":"International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. Working Draft 7.0 X3J17\/95\/1 \u2014 Part 2: Modules, 1995."},{"issue":"2\/3","key":"10.1016\/S1571-0661(05)80103-3_BIB12","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","article-title":"Compile-time Derivation of Variable Dependency Using Abstract Interpretation","volume":"13","author":"Muthukumar","year":"1992","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB13","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from ftp:\/\/clip.dia.fi.upm.es\/pub\/papers\/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2\/97.1."},{"key":"10.1016\/S1571-0661(05)80103-3_BIB14","unstructured":"Quintus Prolog User's Guide and Reference Manual\u2014Version 6, April 1986."},{"key":"10.1016\/S1571-0661(05)80103-3_BIB15","series-title":"Prentice Hall, Englewood Cliffs, New Jersey","article-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"1995"},{"key":"10.1016\/S1571-0661(05)80103-3_BIB16","unstructured":"Swedish Institute of Computer Science, P.O. Box 1263, S-16313 Spanga, Sweden. Sicstus Prolog V3.0 User's Manual, 1995."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801033?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801033?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:08:14Z","timestamp":1761610094000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105801033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000]]}},"alternative-id":["S1571066105801033"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80103-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(05)80103-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2000 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}