{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:53Z","timestamp":1761610433539,"version":"build-2065373602"},"reference-count":35,"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)80105-7","type":"journal-article","created":{"date-parts":[[2005,5,25]],"date-time":"2005-05-25T08:37:08Z","timestamp":1117010228000},"page":"122-142","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"title":["The Ciao Module System: A New Module System for Prolog"],"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)80105-7_BIB1","first-page":"1012","article-title":"A feature-based constraint system for logic programming with entailment","volume":"1992","author":"A\u00eft-Kaci","year":"1992","journal-title":"Proc. Fifth Generation Computer Systems"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB2","article-title":"The Ciao Prolog System","author":"Bueno","year":"1997","journal-title":"Reference Manual. The Ciao System Documentation Series-TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM)"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB3","series-title":"European Symposium on Programming, number 1058 in LNCS","first-page":"108","article-title":"Global Analysis of Standard Prolog Programs","author":"Bueno","year":"1996"},{"issue":"2","key":"10.1016\/S1571-0661(05)80105-7_BIB4","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"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB5","unstructured":"F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Proc. of the 3rd. Int'l Workshop on Automated Debugging-AADEBUG'97, pages 155-170, Link\u00f6ping, Sweden, May 1997. U. of Linkoping Press."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB6","article-title":"Higher-order Logic Programming in Ciao","author":"Cabeza","year":"1999","journal-title":"Technical Report CLIP7\/99.0, Facultad de Inform\u00e1tica, UPM"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB7","series-title":"Electronic Notes in Theoretical Computer Science","article-title":"The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. In Special Issue on Parallelism and Implementation of (C)LP Systems","author":"Cabeza","year":"2000"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB8","series-title":"Po Box 1263, S-16313 Spanga, Sweden","article-title":"Sicstus Prolog User's Manual","author":"Carlsson","year":"1994"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB9","unstructured":"W. Chen. A theory of modules based on second-order logic. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pages 24-33, San Francisco, 1987."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB10","series-title":"Analysis and Verification of Multiple-A gent Languages, 5th LOMAPS Workshop. number 1192 in Lecture Notes in Computer Science","first-page":"22","article-title":"Proving properties of logic programs by abstract diagnosis","author":"Comini","year":"1996"},{"issue":"2","key":"10.1016\/S1571-0661(05)80105-7_BIB11","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(89)90013-7","article-title":"Flow analysis of dynamic logic programs","volume":"7","author":"Debray","year":"1989","journal-title":"Journal of Logic Programming"},{"year":"1996","series-title":"Prolog: The Standard","author":"Deransart","key":"10.1016\/S1571-0661(05)80105-7_BIB12"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB13","series-title":"Logic Programming: Functions, Relations, and Equations","article-title":"Eqlog: equality, types, and generic modules for logic programming","author":"Goguen","year":"1986"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB14","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)80105-7_BIB15","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)80105-7_BIB16","unstructured":"M. Hermenegildo and The CLIP Group. Programming with Global Analysis. In Proceedings of ILPS'97, pages 49-52, Cambridge, MA, October 1997. MIT Press, (abstract of invited talk)."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB17","series-title":"The Logic Programming Paradigm: a 25-Year Perspective","first-page":"161","article-title":"Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging","author":"Hermenegildo","year":"1999"},{"year":"1994","series-title":"The Goedel Programming Language","author":"Hill","key":"10.1016\/S1571-0661(05)80105-7_BIB18"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB19","unstructured":"International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. ISO\/IEC DIS 13211-Part 1: General Core, 1994."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB20","unstructured":"International Organization for Standardization, National Physical Laboratory, Teddington, Middlesex, England. PROLOG. Working Draft 7.0 X3J17\/95\/1 \u2014 Part 2: Modules, 1995."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB21","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","article-title":"A logical analysis of modules in logic programming","author":"Miller","year":"1989","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB22","series-title":"Logic Programming: Proc. of the Sixth International Conference","first-page":"284","article-title":"Contextual logic programming","author":"Monteiro","year":"1989"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB23","series-title":"In IEEE Symposium on Logic Programming","first-page":"152","article-title":"Towards an algebra for constructing logic programs","author":"O'Keefe","year":"1985"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB24","article-title":"O'ciao: An Object Oriented Programming Model for (Ciao) Prolog","author":"Pineda","year":"1999","journal-title":"Technical Report CLIP 5\/99.0, Facultad de Inform\u00e1tica, UPM"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB25","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)80105-7_BIB26","series-title":"Analysis and Visualization Tools for Constraint Programming, To appear","article-title":"An Assertion Language for Debugging of Constraint Logic Programs","author":"Puebla","year":"2000"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB27","series-title":"ICLP'99 Workshop on Optimization and Implementation of Declarative Languages","first-page":"45","article-title":"Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs","author":"Puebla","year":"1999"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB28","unstructured":"Quintus Prolog User's Guide and Reference Manual\u2013Version 6, April 1986."},{"key":"10.1016\/S1571-0661(05)80105-7_BIB29","first-page":"164","article-title":"The XSB Programming System","volume":"#1183","author":"Sagonas","year":"1993"},{"issue":"1-3","key":"10.1016\/S1571-0661(05)80105-7_BIB30","doi-asserted-by":"crossref","DOI":"10.1016\/S0743-1066(96)00068-4","article-title":"The execution algorithm of Mercury: an efficient purely declarative logic programming language","volume":"29","author":"Somogyi","year":"1996","journal-title":"JLP"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB31","article-title":"High performance prolog implementation through global analysis","author":"Taylor","year":"1991","journal-title":"Slides of the invited talk at PDK'91, Kaiserslautern"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB32","doi-asserted-by":"crossref","unstructured":"P. Van Roy, B. Demoen, and Y. D. Willems. Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. In Proceedings of TAPSOFT '87, Lecture Notes in Computer Science. Springer-Verlag, March 1987.","DOI":"10.1007\/BFb0014976"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB33","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/2.108055","article-title":"High-Performace Logic Programming with the Aquarius Prolog Compiler","author":"Van Roy","year":"1992","journal-title":"IEEE Computer Magazine"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB34","article-title":"Formal semantics of a theory of modules","author":"Warren","year":"1987","journal-title":"Technical report 87\/11, SUNY at Stony Brook"},{"key":"10.1016\/S1571-0661(05)80105-7_BIB35","series-title":"Fifth International Conference and Symposium on Logic Programming","first-page":"684","article-title":"On the Practicality of Global Flow Analysis of Logic Programs","author":"Warren","year":"1988"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801057?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105801057?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:21Z","timestamp":1761610101000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105801057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000]]}},"alternative-id":["S1571066105801057"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80105-7","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 Module System: A New Module System for Prolog","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)80105-7","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"}]}}