Source: http://cliplab.org/clippubsbytopic/node15.html
Timestamp: 2019-04-23 22:46:51+00:00

Document:
J. Morales, M. Carro, M. V. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 32-43, ACM Press, July 2008.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, Claudio Silva, Ricardo Rocha. An Improved Continuation Call-Based Implementation of Tabling. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 198-213, Springer-Verlag, January 2008.
J. Navas. CoLogNetWS: Desarrollo de un Sitio Web con Actualización Distribuida de las Bases de Datos en varios nodos . Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 196 pages, December 2003.
J.M. Gómez. WebDB: Un Interfaz WWW a Bases de Datos Genérico. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 156 pages, September 1999.
F. Bueno Carrillo. Traducción Automática de Prolog al Andorra Kernel Language (Automatic Translation from Prolog to the Andorra Kernel Language). Ms. Thesis, T.U. of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1991.
M. Hermenegildo. Bridging the Performance Gap between Declarative and Imperative Languages. 4th. International Symposium on Knowledge Engineering, pages 91-104, Xerox Corp., May 1990.
D. Ivanovic, J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, Claudio Silva, Ricardo Rocha. Some Improvements over the Continuation Call Tabling Implementation Technique. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, Universidade do Porto, September 2007.
J. Morales, M. Carro, M. V. Hermenegildo. Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), pages 89-102, December 2003.
J. Morales, M. Carro. Improving the Compilation of Prolog to C Using Type Information: Preliminary Results. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 167-180, Facultad de Informatica, September 2002.
G. Puebla, M. V. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs (also available in ps). Special Issue on Optimization and Implementation of Declarative Programming Languages, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, 25 pages, Elsevier - North Holland, March 2000.
D. Cabeza, M. V. Hermenegildo. The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30(3), Elsevier - North Holland, March 2000.
D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147-164, N.M. State U., December 1999.
D. Cabeza, M. V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System (also available in ps). Proc. of the AGP'96 Joint conference on Declarative Programming, pages 67-78, U. of the Basque Country, July 1996. Available from http://www.cliplab.org/.
D. Cabeza, M. V. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht / T.U. Madrid, September 1995. Available from http://www.cliplab.org/.
J. Navas, D. Cabeza, M. V. Hermenegildo. CoLogNetWS: Development of a Web Site with Database Multinode Distributed Update. Num. CLIP6/2003.0, 157 pages, CoLogNet Project, November 2003.
M. V. Hermenegildo, D. Cabeza, M. Rodriguez. Using Ciao inside GNU Emacs. Num. CLIP4/2000.1, 18 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.
D. Cabeza, M. V. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. Num. CLIP9/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.
F. Bueno, M. Hermenegildo. Compiling Concurrency into a Sequential Logic Language. Facultad de Informática, UPM, June 1995.
F. Bueno, M. García de la Banda, M. V. Hermenegildo. Compile-time Optimizations and Analysis Requirements for CC Programs. Num. CLIP6/93.0, T.U. of Madrid (UPM), July 1993.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.