IMDEA Software

Iniciativa IMDEA

Inicio > Investigación > Publicaciones > 2008 > workshop
Filter

Publicaciones en Workshops con Revisión (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). diciembre 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). noviembre 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). octubre 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). octubre 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). septiembre 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). agosto 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). agosto 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. julio 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). abril 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). enero 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.