研究課題
基盤研究(C)
副作用のない純粋な関数型言語の分野で開発された、プログラム変換技術の一つである「融合変換」に、副作用を有する言語に適用可能なものに拡張するためのアルゴリズムを与えた。特にデータモデルとしてグラフ構造を対象とした言語を用いる。グラフ構造は、現実世界の実体を直接かつ自然に表現できるデータ構造であるからである。研究代表者が既に開発した木構造を対象とした副作用を有する言語であるXQueryはグラフ構造も扱うことができるため、この言語に対する健全な融合変換を与えた。また、完全性を示すためのスキーマのクラスと問合せ言語のクラスを示した。
すべて 2014 2013 2012 2011 その他
すべて 雑誌論文 (11件) (うち査読あり 4件) 学会発表 (15件)
Mathematical Structure in Computer Science (MSCS)
巻: 未定
Proceedings of the VLDB Endowment (PVLDB)
巻: 7(4) ページ: 241-252
Progress in Informatics, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs
巻: 10 ページ: 131-148
GRACE Technical Report (GRACE-TR-2012-07)
巻: 2012-07 ページ: 3-23
コンピューターソフトウェア
巻: 29(2) ページ: 174-192
130004549266
Technical Report, Grace Center,National Institute of Informatics（GRACE-TR-2011-07)
巻: 2011-07 ページ: 1-24
GRACE Technical Report (GRACE-TR-2011-06)
巻: 2011-06 ページ: 1-26
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University
巻: 2011(09) ページ: 1-14
GRACE Technical Report (GRACE-TR-2011-05)
巻: 2011-05 ページ: 1-10
GRACE Technical Report (GRACE-TR-2011-02)
巻: 2011-02 ページ: 1-20
GRACE Technical Report (GRACE-TR-2011-01)
巻: 2011-01 ページ: 1-20
