Java Programs do not have Bounded Treewidth - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

Java Programs do not have Bounded Treewidth

Ole A. Mæhle
  • Fonction : Auteur
Jan Arne Telle
  • Fonction : Auteur
  • PersonId : 889063

Résumé

We show that the control-flow graphs of Java programs, due to the labelled break and continue statements, have no upper bound on their treewidth. A single Java method containing $k$ labels and a loop nesting depth of $k+1$ can give a control-flow-graph with treewidth $2k+1$.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3870.pdf (72.92 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072784 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072784 , version 1

Citer

Jens Gustedt, Ole A. Mæhle, Jan Arne Telle. Java Programs do not have Bounded Treewidth. [Research Report] RR-3870, INRIA. 2000, pp.6. ⟨inria-00072784⟩
45 Consultations
86 Téléchargements

Partager

Gmail Facebook X LinkedIn More