Resource control of object-oriented programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Resource control of object-oriented programs


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : inria-00155288 , version 1


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⟩
97 View
47 Download


Gmail Facebook Twitter LinkedIn More