カテゴリ1 (11件)
Query-based RDF-object mapping with graph pattern matching
Shunichi Amano, Futoshi Iwama, Hideki Tai, Hisashi Miyashita
(IBM Research)

Illative Combinatory Logic を用いた前提の定式化に向けて
石下 裕里, 戸次 大介
(お茶の水女子大学大学院人間文化創成科学研究科)

一階述語条件論理とそのタブローシステム
尾崎 有梨, 戸次 大介
(お茶の水女子大学大学院人間文化創成科学研究科)

Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出
姜 帆(1,2), 田辺 良則(2), 本位田 真一(1,2)
((1)東京大学大学院情報理工学系研究科, (2)国立情報学研究所)

XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構
白田 靜哉(1), 中野 圭介(2), 岩崎 英哉(1)
((1)電気通信大学大学院情報理工学研究科, (2)電気通信大学先端領域研究センター)

永続性にもとづく項書き換えシステムの合流性証明
鈴木 翼, 青戸 等人, 外山 芳人 (東北大学電気通信研究所)

顕在的契約計算におけるアップキャスト除去
関山 太朗, 五十嵐 淳
(京都大学大学院情報学研究科)

コンパイラの型推論を利用した型デバッグ手法の提案
対馬 かなえ, 浅井 健一
(お茶の水女子大学)

コードシェーカ: コード配置効果を考慮した適正な性能評価システム
松田 友希(1), 八杉 昌宏(1), 鵜川 始陽(2)
((1)京都大学大学院情報学研究科, (2)電気通信大学情報理工学研究科)

片側減少ダイアグラム法による項書き換えシステムの可換性証明法
的場 正樹, 青戸 等人, 外山 芳人
(東北大学電気通信研究所)

並列木縮約による並列データフロー解析
森畑 明昌
(東北大学電気通信研究所)


カテゴリ 2 (9件)
Do We Really Need to Extend Syntax for Advanced Modularity?
Shigeru Chiba, Michihiro Horie, Kei Kanazawa, Fuminobu Takeyama,
Yuuki Teramoto
(Tokyo Institute of Technology)
Modularity Visions track, 11th International Conference on
Aspect-Oriented Software Development (AOSD 12), to appear.

Generate, Test, and Aggregate --- A Calculation-based Framework for
Systematic Parallel Programming with MapReduce
Kento Emoto(1), Sebastian Ficsher(2), Zhenjiang Hu(2)
((1)University of Tokyo, (2)National Institute of Informatics)
22nd European Symposium on Programming (ESOP 2012), to appear.

Constructing Correct Looping Arrows from Cyclic Terms: Traced
Categorical Interpretation in Haskell
Makoto Hamana
(Department of Computer Science, Gunma University)
11th International Symposium on Functional and Logic Programming
(FLOPS 2012), to appear

A Modified GoI Interpretation for a Linear Functional Programming
Language and its Adequacy
Naohiko Hoshino
(Research Institute for Mathematical Science, Kyoto University)
14th International Conference on Foundations of Software Science and
Computation Structures (FoSSaCS 2011), LNCS6604, pp.320--334, 2011.

Functional Programs as Compressed Data
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara
(Tohoku University)
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program
Manipulation (PEPM 2012), pp.121--130, 2012.

Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
(Tohoku University)
32nd ACM SIGPLAN Conference on Programming Language Design and
Implementation (PLDI 2011), pp.222-233, 2011.

Polynomial-Time Inverse Computation for Accumulative Functions with
Multiple Data Traversals
Kazutaka Matsuda(1), Kazuhiro Inaba(2), Keisuke Nakano(3)
((1)Tohoku University, (2)National Institute of Infomatics,
(3)The University of Electro-Communications
(The second author has moved to Google))
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program
Manipulation (PEPM 2012), pp.5--14, 2012.

Extractability as Deduction Theorem in Subdirectional Combinatory Logic
Hiroko Ozaki, Daisuke Bekki
(Ochanomizu University)
8th International Workshop on Logic and Engineering of Natural
Language Semantics (LENLS8), pp.80-93, 2011.

Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling
Kohei Suenaga(1), Ichiro Hasuo(2)
((1)JSPS Research Fellow, Kyoto University, (2)University of Tokyo)
38th International Colloquium on Automata, languages and Programming
(ICALP 2011), Volume Part II, pp. 392--403, 2011.