IMDEA Software

IMDEA initiative

Home > Research > Publications > 2008 > workshop
Filter

Publications in Refereed Workshops (12)

  1. A Program Transformation for Continuation Call-Based Tabled Execution
    P. Chico de Guzmán, M. Carro, M.V. Hermenegildo.
    Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop). December 2008.
  2. Sharing Analysis of Arrays, Collections, and Recursive Structures
    Mark Marron, Mario Méndez-Lojo, Manuel Hermenegildo, Darko Stefanovic, Deepak Kapur.
    Workshop on Program Analysis For Software Tools and Engineering (PASTE). November 2008.
  3. A Coding Rule Conformance Checker Integrated into GCC
    G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo.
    Electronic Notes in Theoretical Computer Science (ENTCS). October 2008.
  4. Modelling Mash-Up Resources
    Iván Pérez, Ángel Herranz, Susana Muñoz, Juan José Moreno-Navarro.
    Jornadas de Ingeniería del Software y Bases de Datos (JISBD). October 2008.
  5. Bialgebra Views: A Way for Polytypic Programming to Cohabit with Data Abstraction
    Pablo Nogueira, Juan José Moreno-Navarro.
    ACM SIGPLAN Workshop on Generic Programming (WGP) (WGP). September 2008.
  6. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models
    Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel Hermenegildo.
    International Workshop on Languages and Compilers for Parallel Computing (LCPC). August 2008.
  7. Efficient Set Sharing using ZBDDs
    M. Méndez-Lojo, O. Lhoták, M.V. Hermenegildo.
    International Workshop on Languages and Compilers for Parallel Computing (LCPC). August 2008.
  8. Two Efficient Representations for Set-Sharing Analysis in Logic Programs
    E. Trias, J. Navas, E. S. Ackley, S. Forrest, M.V. Hermenegildo.
    17th International Workshop on Functional and (Constraint) Logic Programming, WFLP'08. July 2008.
  9. Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications
    J. Navas, M. Méndez-Lojo, M.V. Hermenegildo.
    The Sixth NASA Langley Formal Methods Workshop (LFM 08). April 2008.
  10. A Practical Type Analysis for Verification of Modular Prolog Programs
    P. Pietrzak, J. Correas, G. Puebla, M.V. Hermenegildo.
    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM). January 2008.
  11. Certificate Translation for Specification-Preserving Advices
    Gilles Barthe, César Kunz.
    Workshop on Foundations of Aspect-Oriented Languages (FOAL). 2008.
  12. ECEASST Building an Efficient Component for OCL Evaluation
    M. Clavel, M. Egea, M. A. García de Dios.
    Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL 2008) at MoDELS 2008. 2008.