CLIP Group's Publications in 2012
Articles in Refereed Journals:
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, E. Mera, J.F. Morales, G. Puebla.
An Overview of Ciao and its Design Philosophy.
Theory and Practice of Logic Programming,
Vol. 12,
Num. 1-2,
pages 219-252,
Cambridge University Press,
January
2012.
- R. Haemmerlé.
Diagrammatic confluence for Constraint Handling Rules.
Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue,
Vol. 12,
Num. 4-5,
pages 737-754,
Cambridge U. Press,
2012.
- J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo.
Lightweight compilation of (C)LP to JavaScript.
Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue,
Vol. 12,
Num. 4-5,
pages 755-773,
Cambridge U. Press,
2012.
- Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini.
Cost Analysis of Object-Oriented Bytecode Programs.
Theoretical Computer Science (Special Issue on Quantitative Aspects of Programming Languages),
Vol. 413,
Num. 1,
pages 142-159,
Elsevier,
2012.
- E. Albert, P. Arenas, G. Puebla, M. Hermenegildo.
Certificate Size Reduction in Abstraction-Carrying Code.
Theory and Practice of Logic Programming,
Vol. 12,
Num. 3,
pages 283-318,
2012.
Articles in Refereed Conferences:
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
A Constraint-Based Approach to Quality Assurance in
Service Choreographies.
10th International Conference on Service Oriented
Computing, ICSOC'12,
LNCS,
Vol. 7637,
Springer Verlag,
November
2012.
- George Bariannys, M. Carro, Dimitris Plexousakis.
Deriving Specifications for Composite Web Services.
IEEE Signature Conference on Computers, Software, and Applications,
IEEE Computer Society,
IEEE,
July
2012.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey.
A General Implementation Framework for
Tabled CLP.
FLOPS'12,
LNCS,
Num. 7294,
pages 104-119,
Springer Verlag,
May
2012.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey.
A General Implementation Framework for
Tabled CLP.
15th Int'l. Symposium on Functional and Logic Programming,
LNCS,
Vol. 7294,
pages 104-119,
Springer Verlag,
May
2012.
- E. Albert, R. Bubel, S. Genaim, R. Hähnle, G. Román-Díez.
Verified Resource Guarantees for Heap Manipulating Programs.
Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Tallinn, Estonia, March, 2012,
Lecture Notes in Computer Science,
Vol. 7212,
pages 130-145,
Springer,
March
2012.
- E. Albert, J. Correas, G. Puebla, G. Román-Díez.
Incremental Resource Usage Analysis.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 25-34,
ACM Press,
January
2012.
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
COSTABS: A Cost and Termination Analyzer for ABS.
ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation (PEPM 2012),
pages 151-154,
ACM Press,
January
2012.
- A. M. Ben-Amram, S. Genaim, A. N. Masud.
On the Termination of Integer Loops.
Verification, Model Checking, and Abstract Interpretation
- 13th International Conference, VMCAI 2012, Philadelphia,
USA, January 25-27, 2012. Proceedings,
Lecture Notes in Computer Science,
Vol. 7148,
pages 72-87,
Springer,
January
2012.
- E. Albert, P. Arenas, M. Gómez-Zamalloa.
Symbolic Execution of Concurrent Objects in CLP.
Practical Aspects of Declarative Languages (PADL'12),
LNCS,
Vol. 7149,
pages 123-137,
Springer,
January
2012.
- P. Chico de Guzmán, A. Casas, M. Carro, M. V. Hermenegildo.
A Segment-Swapping Approach for Executing Trapped Computations.
PADL'12,
LNCS,
Vol. 7149,
pages 138-152,
Springer Verlag,
January
2012.
- E. Albert, M. Gómez-Zamalloa, J.M. Rojas.
Resource-driven CLP-based Test Case Generation.
Proc. of LOPSTR'11,
LNCS,
Vol. 7225,
pages 25-41,
Springer-Verlag,
2012.
- Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease, Nik Swoboda.
Learning to Use the Openbox: A Framework for the
Implementation of Heterogeneous Reasoning.
Diagrammatic Representation and Inference,
Lecture Notes in Artificial Intelligence,
Vol. 7352,
2 pages,
Springer,
2012.
Books and Monographs:
- P. Chico de Guzmán.
Advanced Evaluation Strategies for
Tabling and Parallelism in Logic Programs.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informática UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
2012.
Invited Papers and Tutorials:
- M. V. Hermenegildo.
Conferences vs. Journals in CS, what to do?
Evolutionary ways forward and the ICLP/TPLP model.
Dagstuhl 12452: Publication Culture in Computing Research - Position Papers,
Num. 12452,
12 pages,
IBFI - Dagstuhl,
November
2012.
Slides: https://cliplab.org/papers/dagstuhl-tplpmove-slides.pdf.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Constraint-Based Runtime Prediction of SLA
Violations in Service Orchestrations.
22nd Workshop on Logic-based Methods in Programming Environments,
1 pages,
September
2012.
(abstract of invited talk).
- E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla.
Automatic Inference of Resource Consumption Bounds.
18th International Conference on
Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR-18),
Lecture Notes in Computer Science,
Vol. 7180,
pages 1-11,
Springer,
March
2012.
Articles in Books and Other Collections:
- T. Trigo, P. Lopez-Garcia, S. Muñoz-Hernandez.
A Fuzzy Approach to Resource Aware Automatic Parallelization.
Computational Intelligence,
Studies in Computational Intelligence (SCI),
Vol. 399,
pages 229-245,
Springer Berlin Heidelberg,
2012.
- P. Lopez-Garcia, L. Darmawan, F. Bueno, M. V. Hermenegildo.
Interval-Based Resource Usage Verification: Formalization and Prototype.
Foundational and Practical Aspects of Resource Analysis. Second International Workshop FOPARA 2011, Revised Selected Papers,
Lecture Notes in Computer Science,
Vol. 7177,
pages 54-71,
Springer-Verlag,
2012.
Publications in Refereed Workshops:
- R. Haemmerlé.
Coinductive Proofs over Streams as CHR Confluence Proofs.
9th Int'l. Workshop on Constraint Handling Rules (CHR 2012),
September
2012.
- Z. Drey, J.F. Morales, M. V. Hermenegildo.
Reversible Language Extensions and their Application in Debugging.
12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012),
15 pages,
September
2012.
- E.J. Gallego-Arias, R. Haemmerlé, M. V. Hermenegildo, J.F. Morales .
The Ciao CLP(FD) Library: A Modular CLP Extension for Prolog.
12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012),
15 pages,
September
2012.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Analyzing Service-Oriented Systems Using Their Data and Structure.
European Software Services and Systems Research - Results and Challenges (ICSE Workshop),
July
2012.
- D. Karastoyanova, Z. Nemeth, M. Carro, D. Ivanovic, C. Pautasso, C. Di Napoli, M. Giordano.
Research Challenges on Service Technology Foundations.
European Software Services and Systems Research - Results and Challenges (ICSE Workshop),
July
2012.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Exploring the Impact of Inaccuracy and Imprecision
of QoS Assumptions on Proactive Constraint-Based
QoS Prediction for Service Orchestrations.
Proceedings of the 4th International Workshop on
Principles of Engineering Service-Oriented Systems,
PESOS 2012,
pages 931-937,
IEEE Press,
June
2012.
- E. Albert, S. Genaim, G. Román-Díez.
Conditional Termination of Loops over Arrays.
ETAPS Workshop on Bytecode Semantics, Verification,
Analysis and Transformation (BYTECODE'12),
March
2012.
- D. Ivanovic, M. Carro, M. V. Hermenegildo.
Constraint-Based Runtime Prediction of SLA
Violations in Service Orchestrations.
XII Jornadas sobre Programación y Lenguajes (PROLE),
Universidad de Almería,
2012.
- J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo.
Lightweight compilation of (C)LP to JavaScript.
XII Jornadas sobre Programación y Lenguajes (PROLE),
Universidad de Almería,
2012.
- P. Chico de Guzmán, M. Carro, M. V. Hermenegildo, P. Stuckey.
A General Implementation Framework for
Tabled CLP.
XII Jornadas sobre Programación y Lenguajes (PROLE),
Universidad de Almería,
2012.
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 28 10:27:10 AM CET 2024