Resource control of object-oriented programs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2007

Resource control of object-oriented programs

Résumé

A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. For instance, they allow to characterize all the functions bitwise computable in \texttt{Alogtime}. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of oriented-object programs, including distinct encodings of numbers through the use of constructor symbols, loop and while constructs and non recursive methods with side effects. We give a criterion, called brotherly criterion, which ensures that each brotherly program computes objects whose size is polynomially bounded by the inputs sizes.
Fichier principal
Vignette du fichier
objet.pdf (178.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00155288 , version 1 (17-06-2007)

Identifiants

  • HAL Id : inria-00155288 , version 1

Citer

Jean-Yves Marion, Romain Péchoux. Resource control of object-oriented programs. The International Workshop on Logic and Computational Complexity - LCC 2007, Jul 2007, Wroclaw/Poland, Poland. ⟨inria-00155288⟩
112 Consultations
67 Téléchargements

Partager

More