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

引用スタイル

@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 -