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