Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi

Browse the full APLAS paper archive.