Type-Based Amortized Resource Analysis with Integers and Arrays (Q5170708)
From MaRDI portal
scientific article; zbMATH DE number 6320260
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type-Based Amortized Resource Analysis with Integers and Arrays |
scientific article; zbMATH DE number 6320260 |
Statements
Type-Based Amortized Resource Analysis with Integers and Arrays (English)
0 references
24 July 2014
0 references
quantitative analysis
0 references
resource consumption
0 references
amortized analysis
0 references
functional programming
0 references
static analysis
0 references
