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 journal › Article › peer-review

Original language	English
Pages (from-to)	58-73
Journal	The Third Asian Workshop on Programming Languages and Systems (APLAS 2002)
Publication status	Published - 2002 Nov 29

Cite this

@article{0894168946ba4d46890a30f6d79ee99a,

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

author = "Mizuhito Ogawa and Zhenjiang Hu and Isao Sasano and Masato Takeichi",

year = "2002",

month = nov,

day = "29",

language = "English",

pages = "58--73",

journal = "The Third Asian Workshop on Programming Languages and Systems (APLAS 2002)",

}

TY - JOUR

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

AU - Ogawa, Mizuhito

AU - Hu, Zhenjiang

AU - Sasano, Isao

AU - Takeichi, Masato

PY - 2002/11/29

Y1 - 2002/11/29

M3 - Article

SP - 58

EP - 73

JO - The Third Asian Workshop on Programming Languages and Systems (APLAS 2002)

JF - The Third Asian Workshop on Programming Languages and Systems (APLAS 2002)

ER -