CLIP Group's Publications in 2014
Articles in Refereed Journals:
- 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,
July
2014.
- G.J. Duck, R. Haemmerlé, M. Sulzmann.
On Termination, Confluence and Consistent CHR-based
Type Inference.
Theory and Practice of Logic Programming, 30th
Int'l. Conference on Logic Programming (ICLP'14)
Special Issue,
Vol. 14,
Num. 4-5,
pages 619-632,
Cambridge U. Press,
2014.
Articles in Refereed Conferences:
- Dragan Ivanovic, Manuel Carro.
Transforming Service Compositions into Cloud-Friendly Actor Networks.
Service-Oriented Computing - 12th International Conference, ICSOC
2014, Paris, France, November 3-6, 2014. Proceedings,
LNCS,
Vol. 8831,
pages 291-305,
Springer Verlag,
November
2014.
- Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn.
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models.
Service-Oriented Computing - 12th International Conference, ICSOC,
LNCS,
Vol. 8831,
pages 394-402,
Springer Verlag,
November
2014.
- 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.
- Dave Barker-Plummer, Nik Swoboda, Michael D. Murray.
An Example HyperVenn Proof.
Diagrammatic Representation and Inference - 8th International Conference,
Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014.
Proceedings,
pages 51-53,
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.
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.
Books and Monographs:
- R. Haemmerlé, J. Sneyers.
Proceedings of the Eleventh Workshop on Constraint
Handling Rules (CHR 2014).
CoRR abs/1406.1510,
2014.
Articles in Books and Other Collections:
- K. Georgiou, U. Liqat.
Towards LLVM-Based Energy Consumption Analysis of Programs.
ICT-Energy (Nanoenergy) Letters,
Num. 8,
pages 16-17,
July
2014.
Publications in Refereed Workshops:
- 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.
https://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.
Technical Reports and Manuals:
- 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].
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Thu Nov 21 03:36:42 PM CET 2024