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

https://hal.sorbonne-universite.fr/hal-01420298
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

File

1-s2.0-S1571066116301207-main....
Publication funded by an institution

Licence


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

Identifiers

Citation

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⟩

Share

Metrics

Record views

562

Files downloads

219