Memory Consumption Analysis for a Functional and Imperative Language

Jérémie Salvucci 1 Emmanuel Chailloux 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The omnipresence of resource-constrained embedded systems makes them critical components. Programmers have to provide strong guarantees about their runtime behavior to make them reliable. Among these, giving an upper bound of live memory at runtime is mandatory to prevent heap overflows from happening. The paper proposes a semi-automatic technique to infer the space complexity of ML-like programs with explicit region management. It aims at combining existing formalisms to obtain the space complexity of imperative and purely functional programs in a consistent framework.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Gestionnaire Hal-Upmc <>
Submitted on : Tuesday, December 20, 2016 - 2:06:39 PM
Last modification on : Thursday, March 21, 2019 - 1:07:03 PM
Long-term archiving on : Tuesday, March 21, 2017 - 5:13:15 AM


Publication funded by an institution


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License



Jérémie Salvucci, Emmanuel Chailloux. Memory Consumption Analysis for a Functional and Imperative Language. RAC 2016 - Resource Aware Computing, Apr 2016, Eindhoven, Netherlands. pp.27 - 46, ⟨10.1016/j.entcs.2016.12.013⟩. ⟨hal-01420298⟩



Record views


Files downloads