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

@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 = "11",
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 -