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]
No references recorded for this publication.
No citations of this publication recorded.