Proving termination of membership equational programs - researchr publication authors

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]

Identified as Francisco Durán This author has not been identified. It may be one of the following persons:

Salvador Lucas

Look up 'Salvador Lucas' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in GoogleThis author has not been identified. Look up 'Claude Marché' in GoogleThis author has not been identified. Look up 'Xavier Urbain' in Google

runs on WebDSL