Skip navigation
Skip navigation

Java Programs do not have bounded treewidth

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
1549-01.2003-07-01T23:59:00Z.xsh356 BEPrints MD5 Hash XML
TR-CS-00-01.pdf150.43 kBAdobe PDFThumbnail


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

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator