We present a type-based program transformation for an imperative programming language with manual memory-management primitives (e.g., malloc and free in C). Our algorithm, given a program with potential memory leaks, inserts memory-deallocating instructions to the program so that the resulting program does not contain memory leaks. We design the algorithm as type reconstruction for an extension of the ownership-based type system by Suenaga and Kobayashi.
CITATION STYLE
Sonobe, T., Suenaga, K., & Igarashi, A. (2014). Automatic memory management based on program transformation using ownership. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8858, pp. 58–77). Springer Verlag. https://doi.org/10.1007/978-3-319-12736-1_4
Mendeley helps you to discover research relevant for your work.