Navegación

Búsqueda

Búsqueda avanzada

Analysis and Transformation

Listado de artículos correspondientes a la sesión Analysis and Transformation

  1. Automatic generation of logical models for order-sorted first-order theories in program analysis
    Salvador Lucas / 
  2. Towards a Formal Semantics-Based Technique for Interprocedural Slicing
    Irina Mariuca Asavoae / Mihail Asavoae / Adrian Riesco / 
  3. A Haskell Implementation of a Rule-Based Program Transformation for C Programs
    Salvador Tamarit / Guillermo Vigueras / Manuel Carro / Julio Mariño /