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