Inserting Safe Memory Reuse Commands into ML−like Programs
Oukseh Lee‚ Hongseok Yang and Kwangkeun Yi
Address
San Diego‚ California
Book Title
Proceedings of the 10th Annual International Static Analysis Symposium
ISBN
3−540−40325−6
Month
June
Pages
171–188
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2694
Year
2003