Automatic Space Bound Analysis for Functional Programs with Garbage Collection

DOI10.29007/xkwxzbMath1415.68058OpenAlexW2906872399MaRDI QIDQ5222979

Jan Hoffmann, Yue Niu

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/xkwx

zbMATH Keywords

operational semanticsstatic analysistype systemstype inferenceamortized analysisgarbage collectionresource bound analysiscost semanticsLP solving

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Exponential automatic amortized resource analysis ⋮ Two decades of automatic amortized resource analysis

This page was built for publication: Automatic Space Bound Analysis for Functional Programs with Garbage Collection