Static insertion of safe and effective memory reuse commands into ML-like programs

DOI10.1016/j.scico.2005.02.007zbMath1088.68542OpenAlexW2121027756MaRDI QIDQ2568450

Kwangkeun Yi, Hongseok Yang, Oukseh Lee

Publication date: 10 October 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.007

zbMATH Keywords

program transformationprogram analysistype systemcompile-time garbage collection

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: Static insertion of safe and effective memory reuse commands into ML-like programs