Analysis and Transformation
Listado de artículos correspondientes a la sesión Analysis and Transformation
- A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Salvador Tamarit / Guillermo Vigueras / Manuel Carro / Julio Mariño / - Towards a Formal Semantics-Based Technique for Interprocedural Slicing
Irina Mariuca Asavoae / Mihail Asavoae / Adrian Riesco / - Automatic generation of logical models for order-sorted first-order theories in program analysis
Salvador Lucas /