Analysis of functional programs to detect run-time garbage cells

DOI10.1145/48022.48025zbMath0663.68021OpenAlexW2047793578MaRDI QIDQ3814779

Hiroyuki Seki, Hikaru Yagi, Katsuro Inoue

Publication date: 1988

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1988-10/

zbMATH Keywords

functional programming languagegarbage collectioncreated occurrencesnoninherited occurrences

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (5)

Sharing analysis based on type inference ⋮ Region-based memory management ⋮ A lattice for abstract interpretation of dynamic (LISP-like) structures ⋮ An Inference Algorithm for Guaranteeing Safe Destruction ⋮ Usage counting analysis for lazy functional languages

This page was built for publication: Analysis of functional programs to detect run-time garbage cells