Analysis of functional programs to detect run-time garbage cells
From MaRDI portal
Publication:3814779
DOI10.1145/48022.48025zbMath0663.68021MaRDI 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/
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
Region-based memory management, 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