kirancodes.me
To Proof Maintenance & Beyond!

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs

Oukseh Lee, Kwangkeun Yi

Abstract

We present extensive experimental results on our static analysis and source-level transformation [12, 11] that adds explicit memory-reuse commands into ML program text.

Related papers