Type-Based Amortized Resource Analysis with Integers and Arrays

DOI10.1007/978-3-319-07151-0_10zbMath1416.68038OpenAlexW82233118MaRDI QIDQ5170708

Jan Hoffmann, Zhong Shao

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_10

zbMATH Keywords

resource consumptionstatic analysisfunctional programmingquantitative analysisamortized analysis

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Type-based amortized resource analysis with integers and arrays ⋮ Unnamed Item ⋮ Type-based analysis of logarithmic amortised complexity

This page was built for publication: Type-Based Amortized Resource Analysis with Integers and Arrays