Analyzing the Implicit Computational Complexity of object-oriented programs - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

Analyzing the Implicit Computational Complexity of object-oriented programs

Résumé

A sup-interpretation is a tool which provides upper bounds on the size of the values computed by the function symbols of a program. Sup-interpretations have shown their interest to deal with the complexity of first order functional programs. This paper is an attempt to adapt the framework of sup-interpretations to a fragment of object-oriented programs, including loop and while constructs and methods with side effects. We give a criterion, called brotherly criterion, which uses the notion of sup-interpretation to ensure that each brotherly program computes objects whose size is polynomially bounded by the inputs sizes. Moreover we give some heuristics in order to compute the sup-interpretation of a given method.
Fichier principal
Vignette du fichier
paper28.pdf (231.34 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

inria-00332550 , version 1 (21-10-2008)

Identifiants

  • HAL Id : inria-00332550 , version 1

Citer

Jean-Yves Marion, Romain Péchoux. Analyzing the Implicit Computational Complexity of object-oriented programs. Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India. ⟨inria-00332550⟩
134 Consultations
114 Téléchargements

Partager

More