Resource analysis by sup-interpretation - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

Resource analysis by sup-interpretation

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
117 Consultations
245 Téléchargements

Altmetric

Partager

More