Deterministic higher-order matching for program transformation プログラム変換のための決定性高階マッチングに関する研究

Search this Article

Author

    • 横山, 哲郎 ヨコヤマ, テツオ

Bibliographic Information

Title

Deterministic higher-order matching for program transformation

Other Title

プログラム変換のための決定性高階マッチングに関する研究

Author

横山, 哲郎

Author(Another name)

ヨコヤマ, テツオ

University

東京大学

Types of degree

博士 (情報理工学)

Grant ID

甲第21653号

Degree year

2006-03-23

Note and Description

博士論文

Codes

  • NII Article ID (NAID)
    500000359836
  • NII Author ID (NRID)
    • 8000000360972
  • Text Lang
    • eng
  • NDLBibID
    • 000008488761
  • Source
    • NDL ONLINE

Export

Page Top