Linearization by Program Transformation

Sandra Alves, Mário Florido. Linearization by Program Transformation. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 160-175, Springer, 2003. [doi]


Abstract is missing.