Methods for Proving Termination of Rewriting-based Programming Languages by Transformation

Francisco Durán, Salvador Lucas, José Meseguer. Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. Electronic Notes in Theoretical Computer Science, 248:93-113, 2009. [doi]

Abstract

Abstract is missing.