Type-Based Amortized Resource Analysis with Integers and Arrays
From MaRDI portal
Publication:5170708
DOI10.1007/978-3-319-07151-0_10zbMath1416.68038OpenAlexW82233118MaRDI QIDQ5170708
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
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