Program Termination Analysis in Polynomial Time
No abstract available.
DOI 10.1007/3-540-45821-2_14
Related papers
- Program termination analysis in polynomial time TOPLAS 2007
- Automatic Termination Analysis for Partial Functions Using Polynomial Orderings SAS 1997
- Automated Termination Analysis of Polynomial Probabilistic Programs ESOP 2021
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Algorithms with polynomial interpretation termination proof JFP 2001
- Formal proof of polynomial-time complexity with quasi-interpretations CPP 2018
- Termination of Polynomial Loops SAS 2020
- Termination of Polynomial Programs VMCAI 2005