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

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi

研究成果: Article査読

本文言語English
ページ(範囲)58-73
ジャーナルThe Third Asian Workshop on Programming Languages and Systems (APLAS 2002)
出版ステータスPublished - 2002 11 29

引用スタイル