Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Java Programs do not have bounded treewidth

Download (150.43 kB)

Gustedt, Jens; Maehle, Ole; Telle, Jan Arne

Description

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.

CollectionsANU Research Publications
Date published: 2000
Type: Working/Technical Paper
URI: http://hdl.handle.net/1885/40731
http://digitalcollections.anu.edu.au/handle/1885/40731

Download

File Description SizeFormat Image
TR-CS-00-01.pdf150.43 kBAdobe PDFThumbnail
Show full item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator