Source: http://cliplab.org/clippubsbytopic/node12.html
Timestamp: 2019-04-23 21:58:55+00:00

Document:
P. Lopez-Garcia, L. Darmawan, M. Klemen, U. Liqat, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. Theory and Practice of Logic Programming, Special Issue on Computational Logic for Verification, Vol. 18, pages 167-223, Cambridge U. Press, March 2018. arXiv:1803.04451.
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta. Constraint Answer Set Programming without Grounding. Theory and Practice of Logic Programming, Vol. 18, Num. 3-4, pages 337-354, Cambridge U. Press, 2018.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Run-time Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Int'l. Conference on Logic Programming (ICLP'15) Special Issue, Vol. 15, Num. 04-05, pages 726-741, Cambridge U. Press, September 2015. http://arxiv.org/abs/1507.05986.
A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, Vol. 14, Num. 4-5, pages 739-754, Cambridge U. Press, 2014.
A. Serrano, P. Lopez-Garcia, F. Bueno, M. V. Hermenegildo. Sized Type Analysis for Logic Programs (Technical Communication). Theory and Practice of Logic Programming, 29th Int'l. Conference on Logic Programming (ICLP'13) Special Issue, On-line Supplement, Vol. 13, Num. 4-5, pages 1-14, Cambridge U. Press, August 2013.
R. Haemmerlé. (Co)-Inductive Semantics for Constraint Handling Rules. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 593-609, Cambridge U. Press, July 2011.
R. Haemmerlé. Observational Equivalences for Linear Logic Concurrent Constraint Languages. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 469-485, Cambridge U. Press, July 2011.
E. Mera, P. López-García, M. V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th Int'l. Conference on Logic Programming (ICLP'09), LNCS, Vol. 5649, pages 281-295, Springer-Verlag, July 2009.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, pages 190-204, Springer-Verlag, July 2009.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Int'l. Conference on Logic Programming, LNCS, Vol. 5366, pages 795-800, Springer Verlag, December 2008. Short paper.
J. Lipton, S. Nieva. Higher Order Logic Programming Languages with Constraints: A Semantics. Typed Lambda Calculus and Applications (TLCA) 07, Lecture Notes in Computer Science, Num. 4583, pages 272-289, Springer, June 2007.
M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271-281, ACM Press / Sheridan, October 2006.
CORE: A. CiteseerX position (ave) top 23%, impact (ave) 0.192. Average position: top 28%.
D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.
CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.
M. V. Hermenegildo. A Documentation Generator for (C)LP Systems (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 1345-1361, Springer-Verlag, July 2000.
M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Run-time Checks. 20th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'18), 12 pages, ACM Press, September 2018.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Run-time Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99-115, Springer-Verlag, January 2018.
U. Liqat, Z. Bankovic, P. Lopez-Garcia, M. V. Hermenegildo. Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 10855, Springer, 2018.
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. A Haskell Implementation of a Rule-Based Program Transformation for C Programs. International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 9131, pages 105-114, Springer-Verlag, June 2015.
J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, Vol. 8981, pages 317-331, Springer, 2015.
R. Haemmerlé. On Combining Backward and Forward Chaining in Constraint Logic Programming. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), 12 pages, ACM Press, September 2014.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertion-based Debugging of Higher-Order (C)LP Programs. 16th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'14), pages 225-235, ACM Press, September 2014.
U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Revised Selected Papers, Lecture Notes in Computer Science, Vol. 8901, pages 72-90, Springer, 2014.
Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL'13), LNCS, Vol. 7752, Springer, January 2013.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Supporting Pruning in Tabled LP. Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag, January 2013.
R. Haemmerlé, P. López, M. V. Hermenegildo. CLP Projection for Constraint Handling Rules. Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 137-148, ACM Press, July 2011.
E. Mera, T. Trigo, P. López-García, M. V. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224-238, Springer-Verlag, January 2009.
I. Mastroeni, D. Zanardini. Data Dependencies and Program Slicing: from Syntax to Abstract Semantics. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), ACM Press, New York, January 2008.
G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 18-34, Springer Verlag, January 2008.
D. Zanardini. Analyzing Non-Interference with respect to Classes. Proceedings of the Italian Conference on Theoretical Computer Science (ICTCS), World Scientific, October 2007.
CiteseerX position (ave) top 39%, impact (ave) 0.102. Average position: top 39%.
J.F. Morales, M. Carro, M. V. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77-93, July 2007.
A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142-162, April 2006.
D. Zanardini. Abstract Non-Interference in a fragment of Java bytecode. ACM Symposium on Applied Computing (SAC), ACM Press, New York, April 2006.
CORE: B. Citeseer: position 782/1221 (top 64%), impact 0.31. Average position: top 64%.
Stacy E. Finkelstein, Peter Freyd, James Lipton. A New Framework for Declarative Programming. Theoretical Computer Science, Vol. 300, Num. 1-3, pages 91-160, Elsevier Science, May 2003.
C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple General Implementation using CLP(R) (also available in ps). 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, October 2002.
S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Negation Using Abstract Interpretation (also available in ps). Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI, 15 pages, Springer-Verlag, December 2001.
M. Klemen. Improved Static Analysis and Verification of Energy Consumption and other Resources via Abstract Interpretation. Ms. Thesis, Technical University of Madrid, ETSI_Informatica, E-28660, Boadilla del Monte, Madrid, Spain, 88 pages, July 2015.
Nataliia Stulova. Dynamic Checking of Assertions for Higher-order Predicates. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 73 pages, July 2013.
E. Albert, S. Genaim. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation. Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 1-2, Elsevier - North Holland, March 2009.
M. V. Hermenegildo, P. Lopez-Garcia, J. Morales, I. Garcia-Contreras, M. Klemen, N. Stulova. Horn Clause-based Program Analysis and Verification with CiaoPP. 1st International Workshop on Declarative Program Analysis (DPA 2018), 1 pages, July 2018. (Abstract of invited talk). Associated to ECOOP/ISSTA 2018.
F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M. V. Hermenegildo, P. López, G. Puebla, C. Vaucheret. Agent Programming in Ciao Prolog (also available in ps). 10 th. Portuguese Conference on Artificial Intelligence (EPIA), LNAI, Num. 2258, 2 pages, Springer-Verlag, December 2001.
M. Hermenegildo, The CLIP Group. Programming with Global Analysis. Proceedings of ILPS'97, pages 49-52, MIT Press, October 1997. (abstract of invited talk).
K. Georgiou, U. Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16-17, July 2014.
M. Carro, M. V. Hermenegildo. Logic Languages. Encyclopedia of Parallel Computing, pages 1057-1068, Springer, 2011.
R. Bagnara, M. Carro. Foreign Language Interfaces for Prolog: a Terse Survey. The ALP Newsletter, Vol. 15, Num. 2, The Association for Logic Programming, May 2002. Available from https://dtai.cs.kuleuven.be/projects/ALP/newsletter/may02/index.html.
M. V. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging (also available in ps). The Logic Programming Paradigm: a 25-Year Perspective, pages 161-192, Springer-Verlag, July 1999.
E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), Lecture Notes in Computer Science, Vol. 5051, pages 2-18, Springer-Verlag, Berlin, June 2008.
CORE: C. CiteseerX position (ave) top 41%, impact (ave) 0.130. Average position: top 70%.
I. Garcia-Contreras, J.F. Morales, and M. V. Hermenegildo. Multivariant Assertion-based Guidance in Abstract Interpretation. Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.
P. Lopez-Garcia, M. Klemen, U. Liqat, M. V. Hermenegildo. A General Framework for Static Profiling of Parametric Resource Usage (extended abstract). 19th International Workshop on Logic and Computational Complexity (LCC 2018), 4 pages, July 2018. Associated to FLOC 2018.
I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Context-sensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).
M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Run-time Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).
R. Haemmerle, M. V. Hermenegildo, M. Klemen, U. Liqat, P. Lopez-Garcia. Energy Analysis and Verification by Translation to Horn Clauses and Abstract Interpretation. Workshop on Horn Clauses for Verification and Synthesis (HCVS'2015), July 2015.
P. Lopez-Garcia, R. Haemmerlé, M. Klemen, U. Liqat, M. V. Hermenegildo. Towards Energy Consumption Verification via Static Analysis. Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES), arXiv:1501.03064, 11 pages, 2015. arXiv:1512.09369.
J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Pre-proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), 15 pages, September 2014.
J.F. Morales, M. V. Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.
N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertion-based Debugging of Higher-Order (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Int'l. Conference on Logic Programming (ICLP'14) Special Issue, On-line Supplement, Vol. 14, Num. 4-5, pages 209-210, Cambridge U. Press, July 2014.
U. Liqat, S. Kerrison, A. Serrano, K. Georgiou, P. Lopez-Garcia, N. Grech, M. V. Hermenegildo, K. Eder. Energy Consumption Analysis of Programs based on XMOS ISA-Level Models. Pre-proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13), September 2013.
A. Serrano, P. Lopez-Garcia, M. V. Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), 15 pages, August 2013. CoRR abs/1308.3940.
P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo. Interval-based Resource Usage Verification: Formalization and Prototype. 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011), May 2011.
J. Navas, M. Méndez-Lojo, M. V. Hermenegildo. User-Definable Resource Usage Bounds Analysis for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'09), Electronic Notes in Theoretical Computer Science, Vol. 253, Num. 5, pages 65-82, Elsevier - North Holland, March 2009.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Program Transformation for Continuation Call-Based Tabled Execution. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, University of Udine, December 2008.
G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo. A Coding Rule Conformance Checker Integrated into GCC. VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, October 2008.
E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. COSTA: A Cost and Termination Analyzer for Java Bytecode. Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'08), Electronic Notes in Theoretical Computer Science, Elsevier, April 2008.
G. Marpons-Ucero, J. Mariño, A. Herranz, L.Å. Fredlund, M. Carro, J.J. Moreno-Navarro. Automatic Coding Rule Conformance Checking Using Logic Programs. 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, September 2007.
J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Second CoLogNet Workshop on Implementation Technology for Computational Logic Systems (Formal Methods '03 Workshop), pages 51-64, Facultad de Informatica, September 2003.
J. Correas, F. Bueno. A Configuration Framework for Distributed Logic Applications (also available in ps). Proc. of the AGP'2002 Joint Conference on Declarative Programming, pages 123-137, Facultad de Informatica, September 2002.
M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.
A. Pineda, F. Bueno. The O'Ciao Approach to Object Oriented Logic Programming (also available in ps). Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.
J. Correas, F. Bueno. A Configuration Framework to Develop and Deploy Distributed Logic Applications (also available in ps). ICLP01 Colloquium on Implementation of Constraint and LOgic Programming Systems, 15 pages, November 2001.
S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Implementation of General Negation Using Abstract Interpretation. Proc. of the AGP'2000 Joint Conference on Declarative Programming, 15 pages, Italian Association for Logic Programming, December 2000.
D. Cabeza, M. V. Hermenegildo. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 3, Elsevier - North Holland, March 2000.
M. V. Hermenegildo. A System for Automatically Generating Documentation for (C)LP Programs. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 4, March 2000.
I. de Castro Dutra, V. Santos Costa, G. Gupta, E. Pontelli, M. Carro, P. Kacsuk (editors). Parallelism and Implementation Technology for (Constraint) Logic Programming. Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, Elsevier - North Holland, March 2000.
D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110-128, N.M. State U., December 1999.
M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems (also available in ps). ICLP'99 Workshop on Logic Programming Environments, pages 80-97, N.M. State University, December 1999.
I. Garcia-Contreras, J. F. Morales, M. V. Hermenegildo. An Approach to Incremental and Modular Context-sensitive Analysis. Num. CLIP-2/2018.0, 28 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.
M. Klemen, N. Stulova, P. Lopez-Garcia, J. F. Morales, M. V. Hermenegildo. An Approach to Static Performance Guarantees for Programs with Run-time Checks. Num. CLIP-1/2018.0, 15 pages, The CLIP Lab, IMDEA Software Institute and T.U. Madrid, April 2018.
P. Lopez-Garcia, R. Haemmerlé, U. Liqat, M. Klemen, M. V. Hermenegildo. Parametric Static Profiling. Num. CLIP-2/2015.0, The CLIP Lab, April 2015.
R. Haemmerlé. On the Confluence of the Analytical Semantics of CHR. Num. CLIP2/2014.0, 12 pages, Technical University of Madrid (UPM), July 2014.
N. Stulova, J. F. Morales, M. V. Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, 25 pages, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].
R. Haemmerlé. Toward Observational Equivalences for Linear Logic Concurrent Constraint Languages. Num. CLIP5/2011.0, 32 pages, Technical University of Madrid (UPM), May 2011.
R. Haemmerlé. Towards a Logically Complete Fixpoint Semantics for Constraint Handling Rules. Num. CLIP3/2011.0, 31 pages, Technical University of Madrid (UPM), March 2011.
J.F. Morales, M. V. Hermenegildo, R. Haemmerlé. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.
J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.
E. Mera, P. López-García, M. V. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Num. CLIP6/2008.0, Technical University of Madrid (UPM), September 2008.
G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. Num. CLIP6/2007.0, Technical University of Madrid (UPM), August 2007.
P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Num. CLIP9/2007.0, Technical University of Madrid (UPM), August 2007.
J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.
M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.
A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. Num. TR-CS-2006-07, 17 pages, University of New Mexico (UNM), 2006.
J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Model for Persistence in CLP Systems. Num. CLIP3/2003.0, 17 pages, Technical University of Madrid, August 2003. http://cliplab.org/papers/persdb-tr.pdf.
David Trallero Mena. Local and Global Multiattributed Variables. Num. CLIP10/03.0, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2003.
F. Bueno, J. Correas. Active Module Service. Num. CLIP4/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.
M. Carro, M. Hermenegildo. Remote Execution and Mobile Objects in Ciao Prolog. Num. CLIP3/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.
F. Bueno, M. Hermenegildo, G. Puebla, P. J. Stuckey. Safety for Logic Programs. Num. CLIP1/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.
J. Correas. A Low Level Bidirectional Prolog / Java Interface: Design and Prolog API. Num. CLIP1/2000.1, 50 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.
J. Correas. A Low Level Bidirectional Prolog / Java Interface: Java API. Num. CLIP2/2000.1, 80 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.
J. Correas. An Object Oriented Bidirectional Prolog to Java Interface. Num. CLIP3/2000.1, 30 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.
D. Cabeza, M. V. Hermenegildo. Higher-order Logic Programming in Ciao. Num. CLIP7/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.
D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. Num. CLIP8/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.
M. V. Hermenegildo. A Documentation Generator for Logic Programming Systems. Num. CLIP10/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.
A. Pineda. Object Oriented Programming Library (O'Ciao). Num. CLIP 6/99.0, Facultad de Informática, UPM, July 1999.
A. Pineda, M. Hermenegildo. O'Ciao: An Object Oriented Programming Model for (CIAO) Prolog (also available in ps). Num. CLIP 5/99.0, Facultad de Informática, UPM, July 1999.
The CLIP Group. Program Assertions. Num. CLIP4/97.1, Facultad de Informática, UPM, August 1997.
F. Bueno. The CIAO Multiparadigm Compiler: A User's Manual. Num. CLIP8/95.0, Facultad de Informática, UPM, June 1995.

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