Resource analysis by sup-interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

Resource analysis by sup-interpretation

Abstract

We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs. This method applies to first order functional programming with pattern matching. This work is related to quasi-interpretations but we are now able to determine resources of more algorithms and it is easier to perform an analysis with this new tools.
Fichier principal
Vignette du fichier
fullpaper.pdf (553.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00000661 , version 1 (10-11-2005)
inria-00000661 , version 2 (09-01-2008)

Identifiers

Cite

Jean-Yves Marion, Romain Péchoux. Resource analysis by sup-interpretation. Eighth International Symposium on Functional and Logic Programming - FLOPS 2006, Apr 2006, Fuji Susono, Japan. pp.163--176, ⟨10.1007/11737414_12⟩. ⟨inria-00000661v2⟩
104 View
229 Download

Altmetric

Share

Gmail Facebook X LinkedIn More