Pattern-based Rewriting through Abstraction

Paolo Bottoni, Esther Guerra, Juan de Lara. Pattern-based Rewriting through Abstraction. Fundamenta Informaticae, 144(2):109-160, 2016. [doi]

Abstract

Abstract is missing.