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 analysisTowards a Formal Semantics-Based Technique for Interprocedural SlicingA Haskell Implementation of a Rule-Based Program Transformation for C Programs