The Treewidth of Java Programs.

Jens Gustedt Ole A. Mæhle Jan Arne Telle

Published in: ALENEX (2002)

Keyphrases

java programs
bounded treewidth
space complexity
multi threaded
search space
software components
java language
test suite
np complete
java virtual machine
information systems