Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Germán Vidal. Symbolic execution as a basis for termination analysis. Science of Computer Programming, 102:142-157, 2015. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.
The following publications are possibly variants of this publication: