Analysis of functional programs to detect run-time garbage cells

DOI10.1145/48022.48025MaRDI QIDQ3814779zbMATH OpenOpenAlexFDO

Authors Katsuro Inoue, Hiroyuki Seki, Hikaru Yagi

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

created occurrencesfunctional programming languagegarbage collectionnoninherited occurrences

Mathematics Subject Classification ID

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

Recommendations

• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Static prediction of heap space usage for first-order functional programs
• scientific article; zbMATH DE number 177786
• scientific article; zbMATH DE number 49798
• scientific article; zbMATH DE number 1332627

Cited in

(9)

• A lattice for abstract interpretation of dynamic (LISP-like) structures
• Usage counting analysis for lazy functional languages
• Sharing analysis based on type inference
• An Inference Algorithm for Guaranteeing Safe Destruction
• scientific article; zbMATH DE number 177786 (Why is no real title available?)
• Automatic Space Bound Analysis for Functional Programs with Garbage Collection
• Compile-Time Garbage Collection for Higher-Order Functional Languages
• Improving flow analyses via ΓCFA
• Region-based memory management

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

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