Multivariate amortized resource analysis (Q5408556)
From MaRDI portal
scientific article; zbMATH DE number 6282617
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multivariate amortized resource analysis |
scientific article; zbMATH DE number 6282617 |
Statements
Multivariate amortized resource analysis (English)
0 references
10 April 2014
0 references
amortized analysis
0 references
functional programming
0 references
quantitative analysis
0 references
resource consumption
0 references
static analysis
0 references
