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

Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)58-73
JournalThe Third Asian Workshop on Programming Languages and Systems (APLAS 2002)
Publication statusPublished - 2002 Nov 29

Cite this