Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

This author has not been identified. It may be one of the following persons:

Michael Leuschel

Look up 'Leuschel, Michael' in GoogleThis author has not been identified. Look up 'Tamarit, Salvador' in GoogleThis author has not been identified. Look up 'Vidal, Germ?n' in Google

runs on WebDSL