Static analysis for optimizing reference counting

DOI10.1016/0020-0190(95)00096-UzbMath0875.68217OpenAlexW2037622661MaRDI QIDQ1350375

Benjamin Goldberg, Young Park

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(95)00096-u

zbMATH Keywords

Functional programmingStatic analysisGarbage collectionDistributed systemsFormal semanticsProgramming languagesLanguage processorsReference count

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Unnamed Item
• An efficient, incremental, automatic garbage collector
• Shifting garbage collection overhead to compile time

This page was built for publication: Static analysis for optimizing reference counting