Resource control of object-oriented programs

Jean-Yves Marion 1 Romain Péchoux 1
1 CARTE - Theoretical adverse computations, and safety
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Type de document :
Communication dans un congrès
The International Workshop on Logic and Computational Complexity - LCC 2007, Jul 2007, Wroclaw/Poland, Poland. 2007
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00155288
Contributeur : Romain Péchoux <>
Soumis le : dimanche 17 juin 2007 - 18:43:05
Dernière modification le : jeudi 11 janvier 2018 - 06:21:25
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:32:41

Fichier

objet.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00155288, version 1

Collections

Citation

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. 2007. 〈inria-00155288〉

Partager

Métriques

Consultations de la notice

214

Téléchargements de fichiers

81