Java Programs do not have Bounded Treewidth

Jens Gustedt 1 Ole A. Mæhle Jan Arne Telle
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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$.
Type de document :
Rapport
[Research Report] RR-3870, INRIA. 2000, pp.6
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00072784
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 10:53:27
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:22:19

Fichiers

Identifiants

  • HAL Id : inria-00072784, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

141

Téléchargements de fichiers

118