{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:47Z","timestamp":1725484907049},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_90","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"1345-1361","source":"Crossref","is-referenced-by-count":8,"title":["A Documentation Generator for (C)LP Systems"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Hermenegildo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"90_CR1","unstructured":"F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. L\u00f3pez-Garc\u00eda, and G. Puebla. The Ciao Prolog System. Reference Manual. TR CLIP3\/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997."},{"key":"90_CR2","series-title":"Lect Notes Comput Sci","volume-title":"International Conference on Computational Logic, CL2000","author":"D. Cabeza","year":"2000","unstructured":"D. Cabeza and M. Hermenegildo. A New Module System for Prolog. In International Conference on Computational Logic, CL2000, LNCS. Springer-Verlag, July 2000. To appear."},{"key":"90_CR3","doi-asserted-by":"crossref","unstructured":"D. Cabeza and M. Hermenegildo. The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. In Special Issue on Parallelism and Implementation of (C)LP Systems. To appear, Electronic Notes in Theoretical Computer Science. Elsevier-North Holland, 2000.","DOI":"10.1016\/S1571-0661(05)80103-3"},{"key":"90_CR4","doi-asserted-by":"crossref","unstructured":"D. Cordes and M. Brown. The Literate Programming Paradigm. IEEE Computer Magazine, June 1991.","DOI":"10.1109\/2.86838"},{"key":"90_CR5","volume-title":"Int. Conf. on Logic Programming","author":"B. Demoen","year":"1999","unstructured":"B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, and P. Stuckey. Herbrand Constraint Solving in HAL. In Int. Conf. on Logic Programming. MIT Press, Cambridge, MA, U.S.A., November 1999."},{"key":"90_CR6","doi-asserted-by":"crossref","unstructured":"P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer-Verlag, 1996.","DOI":"10.1007\/978-3-642-61411-8"},{"key":"90_CR7","doi-asserted-by":"crossref","unstructured":"Lisa Friendly. The Design of Distributed Hyperlink Program Documentation. In Int\u2019l. 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":"90_CR8","unstructured":"M. Hermenegildo, F. Bueno, G. Puebla, and P. L\u00f3pez-Garc\u00eda. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor. In 1999 International Conference on Logic Programming, pages 52\u201366, Cambridge, MA, November 1999. MIT Press."},{"key":"90_CR9","unstructured":"M. Hermenegildo and The CLIP Group. An Automatic Documentation Generator for (C)LP-Reference Manual. The Ciao System Documentation Series-TR CLIP5\/97.3, Facultad de Inform\u00e1tica, UPM, August 1997."},{"key":"90_CR10","doi-asserted-by":"crossref","unstructured":"M. Hermenegildo, G. Puebla, and F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. In K. R. Apt, V. Marek, M. Truszczynski, and D. S. Warren, editors, The Logic Programming Paradigm: a 25-Year Perspective, pages 161\u2013192. Springer-Verlag, July 1999.","DOI":"10.1007\/978-3-642-60085-2_7"},{"key":"90_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/comjnl\/27.2.97","volume":"27","author":"D. Knuth","year":"1984","unstructured":"D. Knuth. Literate programming. Computer Journal, 27:97\u2013111, 1984.","journal-title":"Computer Journal"},{"key":"90_CR12","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In ILPS\u201997 WS on Tools and Environments for (C)LP, October 1997. ftp:\/\/clip.dia.fi.upm.es\/pub\/papers\/assert\/langtrdiscipldeliv.ps.gz"},{"key":"90_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, LNCS. Springer-Verlag, 2000. To appear."},{"key":"90_CR14","doi-asserted-by":"crossref","unstructured":"G. Puebla and M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. In Special Issue on Optimization and Implementation of Declarative Programming Languages, volume 30 of Electronic Notes in Theoretical Computer Science. Elsevier-North Holland, March 2000.","DOI":"10.1016\/S1571-0661(05)80637-1"},{"key":"90_CR15","doi-asserted-by":"crossref","unstructured":"Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. JLP, 29(1\u20133), October 1996.","DOI":"10.1016\/S0743-1066(96)00068-4"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_90","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:24:32Z","timestamp":1556450672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_90","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}