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

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.

runs on WebDSL