Proving termination of membership equational programs

Francisco Durán, Salvador Lucas, José Meseguer, Claude Marché, Xavier Urbain. Proving termination of membership equational programs. In Nevin Heintze, Peter Sestoft, editors, Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004. pages 147-158, ACM, 2004. [doi]

Abstract

Abstract is missing.