Non-polynomial worst-case analysis of recursive programs (Q2164209)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-polynomial worst-case analysis of recursive programs |
scientific article |
Statements
Non-polynomial worst-case analysis of recursive programs (English)
0 references
12 August 2022
0 references
recursive programs
0 references
worst-case bound
0 references
triple constraint
0 references
FLO11 expression
0 references
template variables
0 references
