Automatic Memory Management Based on Program Transformation Using Ownership

DOI10.1007/978-3-319-12736-1_4zbMath1453.68030OpenAlexW2279896839MaRDI QIDQ2789036

Kohei Suenaga, Atsushi Igarashi, Tatsuya Sonobe

Publication date: 26 February 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-12736-1_4

zbMATH Keywords

program transformationtype systemmemory leaks

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: Automatic Memory Management Based on Program Transformation Using Ownership