Resource Analysis driven by (Conditional) Termination Proofs (Q5108498)
From MaRDI portal
scientific article; zbMATH DE number 7196141
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Resource Analysis driven by (Conditional) Termination Proofs |
scientific article; zbMATH DE number 7196141 |
Statements
Resource Analysis driven by (Conditional) Termination Proofs (English)
0 references
4 May 2020
0 references
resource analysis
0 references
termination analysis
0 references
cost relation systems
0 references
upper bounds
0 references
