Memory Consumption Analysis for a Functional and Imperative Language - Sorbonne Université
Communication Dans Un Congrès Année : 2016

Memory Consumption Analysis for a Functional and Imperative Language

Résumé

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.
Fichier principal
Vignette du fichier
1-s2.0-S1571066116301207-main.pdf (229 Ko) Télécharger le fichier
Origine Publication financée par une institution
Loading...

Dates et versions

hal-01420298 , version 1 (20-12-2016)

Licence

Identifiants

Citer

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⟩
352 Consultations
180 Téléchargements

Altmetric

Partager

More