Proving termination of membership equational programs - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Proving operational termination of membership equational programsFrancisco Durán, Salvador Lucas, Claude Marché, José Meseguer, Xavier Urbain. lisp, 21(1-2):59-88, 2008. [doi]

Operational Termination of Membership Equational Programs: the Order-Sorted WaySalvador Lucas, José Meseguer. ENTCS, 238(3):207-225, 2009. [doi]

runs on WebDSL