Automatic Space Bound Analysis for Functional Programs with Garbage Collection

DOI10.29007/XKWXMaRDI QIDQ5222979zbMATH OpenOpenAlexFDO

Authors Yue Niu, Jan Hoffmann

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

static analysistype systemsoperational semanticsamortized analysistype inferencegarbage collectionresource bound analysiscost semanticsLP solving

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Analysis of functional programs to detect run-time garbage cells
• Automatic amortised analysis of dynamic memory allocation for lazy functional programs
• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Static prediction of heap space usage for first-order functional programs
• Space profiling for parallel functional programs
• Space profiling for parallel functional programs
• Garbage Collection for Reversible Functional Languages
• Automated verification of practical garbage collectors

Cited in

(6)

• Automatic amortised analysis of dynamic memory allocation for lazy functional programs
• Two decades of automatic amortized resource analysis
• Exponential automatic amortized resource analysis
• Static prediction of heap space usage for first-order functional programs
• Automatic type inference for amortised heap-space analysis
• A space consumption analysis by abstract interpretation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222979)