Automatic Space Bound Analysis for Functional Programs with Garbage Collection

DOI10.29007/XKWXzbMATH Open1415.68058OpenAlexW2906872399MaRDI QIDQ5222979FDOQ5222979

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

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

zbMATH Keywords

static analysistype systemsoperational semanticsamortized analysistype inferencegarbage collectionresource bound analysiscost semanticsLP solving

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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)