Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation

DOI10.1007/978-3-642-11999-6_8zbMath1274.68044OpenAlexW1485994731MaRDI QIDQ3557098

Germán Vidal, Michael Leuschel, Salvador Tamarit

Publication date: 27 April 2010

Published in: Functional and Constraint Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11999-6_8

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Fast offline partial evaluation of logic programs

Uses Software

• ProB
• DPPD

This page was built for publication: Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation