{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:13:12Z","timestamp":1761610392959,"version":"build-2065373602"},"reference-count":14,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2000,4,1]],"date-time":"2000-04-01T00:00:00Z","timestamp":954547200000},"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":4867,"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,4]]},"DOI":"10.1016\/s1571-0661(05)80663-2","type":"journal-article","created":{"date-parts":[[2005,5,6]],"date-time":"2005-05-06T15:34:43Z","timestamp":1115393683000},"page":"289-307","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["A System for Automatically Generating Documentation for (C)LP Programs"],"prefix":"10.1016","volume":"30","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(05)80663-2_BIB1","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garc\u00eda, and G. Puebla. The Ciao Prolog System. Reference Manual. The Ciao System Documentation Series\u2013TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997."},{"key":"10.1016\/S1571-0661(05)80663-2_BIB2","unstructured":"D. Cabeza and M. Hermenegildo. A New Module System for Prolog. Electronic Notes in Theoretical Computer Science, 2000. Special Issue on Parallelism and Implementation of (C)LP Systems. To appear."},{"key":"10.1016\/S1571-0661(05)80663-2_BIB3","doi-asserted-by":"crossref","unstructured":"D. Cabeza and M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. Electronic Notes in Theoretical Computer Science, 2000. Special Issue on Parallelism and Implementation of (C)LP Systems. To appear.","DOI":"10.1016\/S1571-0661(05)80103-3"},{"year":"1991","series-title":"The Literate Programming Paradigm","author":"Cordes","key":"10.1016\/S1571-0661(05)80663-2_BIB4"},{"key":"10.1016\/S1571-0661(05)80663-2_BIB5","series-title":"Int. Conf. on Logic Programming","article-title":"Herbrand Constraint Solving in HAL","author":"Demoen","year":"1999"},{"year":"1996","series-title":"Prolog: The Standard","author":"Deransart","key":"10.1016\/S1571-0661(05)80663-2_BIB6"},{"key":"10.1016\/S1571-0661(05)80663-2_BIB7","doi-asserted-by":"crossref","unstructured":"Lisa Friendly. The Design of Distributed Hyperlink Program Documentation. In Int'l. WS on Hypermedia Design, Workshops in Computing. Springer, June 1996. Available from http:\/\/Java.sun.com\/docs\/javadoc-paper.html.","DOI":"10.1007\/978-1-4471-3082-6_17"},{"key":"10.1016\/S1571-0661(05)80663-2_BIB8","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)80663-2_BIB9","unstructured":"M. Hermenegildo and The CLIP Group. An Automatic Documentation Generator for (C)LP \u2013 Reference Manual. The Ciao System Documentation Series\u2013TR CLIP5\/97.3, Facultad de Inform\u00e1tica, UPM, August 1997."},{"key":"10.1016\/S1571-0661(05)80663-2_BIB10","series-title":"The Logic Programming Paradigm: a 25\u2013Year 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"},{"key":"10.1016\/S1571-0661(05)80663-2_BIB11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","article-title":"Literate programming","volume":"27","author":"Knuth","year":"1984","journal-title":"Computer Journal"},{"key":"10.1016\/S1571-0661(05)80663-2_BIB12","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In ILPS'97 WS on Tools and Environments for (C)LP, October 1997. ftp:\/\/clip.dia.fi.upm.es\/pub\/papers\/assertj_ang_tr_discipldeliv.ps.gz"},{"issue":"2","key":"10.1016\/S1571-0661(05)80663-2_BIB13","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(05)80637-1","article-title":"Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs","volume":"30","author":"Puebla","year":"1999","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1\u20133","key":"10.1016\/S1571-0661(05)80663-2_BIB14","article-title":"The execution algorithm of Mercury: an efficient purely declarative logic programming language","volume":"29","author":"Somogyi","year":"1996","journal-title":"JLP"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806632?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066105806632?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:44Z","timestamp":1761610124000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066105806632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,4]]},"references-count":14,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,4]]}},"alternative-id":["S1571066105806632"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(05)80663-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2000,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A System for Automatically Generating Documentation for (C)LP Programs","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)80663-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2004 Elsevier Ltd.","name":"copyright","label":"Copyright"}]}}