Rémy 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), pages 12, ACM Press, September 2014.
Assertion-based Debugging of Higher-Order (C)LP Programs
N. Stulova, J. F. Morales, Manuel 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 15, ACM Press, September 2014.
Measuring and modelling the energy consumption of multithreaded, multi-core embedded software
Steve Kerrison, Kerstin Eder. Measuring and modelling the energy consumption of multithreaded, multi-core embedded software. ICT Energy Letters, pages 18–19, July 2014.
Towards LLVM-Based Energy Consumption Analysis of Programs
Kyriakos Georgiou, Umer Liqat. Towards LLVM-Based Energy Consumption Analysis of Programs. ICT-Energy (Nanoenergy) Letters, Num. 8, pages 16–17, July 2014.
Towards Pre-Indexed Terms
J.F. Morales, Manuel Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), pages 14, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
N. Stulova, J. F. Morales, Manuel 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, Cambridge U. Press, July 2014.
Analysis and Transformation Tools for Constrained Horn Clause Verification
John P. Gallagher, Bishoksan Kafle. Analysis and Transformation Tools for Constrained Horn Clause Verification. Theory and Practice of Logic Programming, Vol. 14, Num. 4-5 (supplementary materials), pages 90–101, Cambridge University Press, June 2014. ICLP, Vienna.
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
Bishoksan Kafle, John P. Gallagher. Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014, Vol. 169, pages 53–67, EPTCS, January 2014. HCVS, Vienna.
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs
N. Stulova, J. F. Morales, Manuel Hermenegildo. An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. Num. CLIP-1/2014.0, pages 26, The CLIP Lab, January 2014. CoRR abs/1404.4246 [cs.PL].
Energy Consumption Analysis of Programs based on XMOS ISA-Level Models
Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro Lopez-Garcia, Neville Grech, Manuel Hermenegildo, Kerstin 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.
