論文 - 西田 直樹
-
CauDEr: A Causal-Consistent Reversible Debugger for Erlang 査読有り
Ivan Lanese, Naoki Nishida, Adrian Palacios, and German Vidal
Proceedings of the 14th International Conference on Functional and Logic Programming, Lecture Notes in Computer Scienc 10818 巻 頁: 247-263 2018年4月
-
Rewriting induction for constrained inequalities 査読有り
Takahiro Nagao and Naoki Nishida
Science of Computer Programming 155 巻 頁: 76-102 2018年4月
-
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction 査読有り
Shinnosuke Mizutani and Naoki Nishida
Electronic Proceedings in Theoretical Computer Science 265 巻 頁: 35-51 2018年2月
-
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers 査読有り
Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, and Tomoya Ueyama
Electronic Proceedings in Theoretical Computer Science 265 巻 頁: 83-97 2018年2月
-
Reversible computation in term rewriting 査読有り
Naoki Nishida, Adrian Palacios, and German Vidal
Journal of Logical and Algebraic Methods in Programming 94 巻 頁: 128-149 2018年1月
-
CO3 (Version 1.4)
Naoki Nishida, Yoshiaki Kanazawa,, and Karl Gmeiner
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 頁: 73 2017年9月
-
A Reversible Semantics for Erlang 査読有り
Naoki Nishida, Adrian Palacios, and German Vidal
Revised Selected Papers of the 26th International Conference on Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer Science (LOPSTR 2016) 10184 巻 頁: 259-274 2017年7月
-
再帰呼び出しを持つC言語サブセットからMalbolgeへのコンパイラ
坂梨 元軌,河邉 翔平,酒井 正彦,西田 直樹,橋本 健二
電子情報通信学会技術報告 117 巻 ( 136 ) 頁: 145-150 2017年7月
-
制約付き項書換え系の依存鎖を上限付き整数増加列に変換する多項式解釈
笹野 智裕,西田 直樹,酒井 正彦,上山智也
電子情報通信学会技術報告 117 巻 ( 136 ) 頁: 139-144 2017年7月
-
Verifying Procedural Programs via Constrained Rewriting Induction 査読有り
Carsten Fuhs, Cynthia Kop, and Naoki Nishida
ACM Transactions on Computational Logic 18 巻 ( 2 ) 頁: 14:1-14:50 2017年6月
-
十分完全性を持たない階層的条件付き項書換え系の合流性証明
黒田 貴之,西田 直樹,関 浩之
電子情報通信学会技術報告 116 巻 ( 512 ) 頁: 103-108 2017年3月
-
Relative Termination via Dependency Pairs 査読有り
Jose Iborra, Naoki Nishida, German Vidal, and Akihisa Yamada
Journal of Automated Reasoning 58 巻 ( 3 ) 頁: 391-411 2017年3月
-
Ryota Nakayama, Naoki Nishida, and Masahiko Sakai
Proceedings of the 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), Electronic Proceedings in Theoretical Computer Science 235 巻 頁: 62-77 2017年1月
-
Notes on Confluence of Ultra-WLL SDCTRSs via a Structure-Preserving Transformation 査読有り
Naoki Nishida
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 頁: 60-64 2016年9月
-
CO3 (Version 1.3)
Naoki Nishida, Takayuki Kuroda, and Karl Gmeiner
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 頁: 74 2016年9月
-
Proving inductive validity of constrained inequalities 査読有り
Takahiro Nagao and Naoki Nishida
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP 2016) 頁: 50-61 2016年9月
-
難読性の高いMalbolgeコードを生成するコンパイラのための中間言語
河邉 翔平,酒井 正彦,西田 直樹,関 浩之
電子情報通信学会技術報告 116 巻 ( 127 ) 頁: 105-110 2016年7月
-
Reversible Term Rewriting 査読有り
Naoki Nishida, Adrian Palacios, and German Vidal
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), LIPIcs 52 巻 頁: 28:1-28:18 2016年6月
-
Reversible Term Rewriting in Practice 査読有り
Naoki Nishida, Adrian Palacios, and German Vidal
Informal Proceedings of the 3rd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016) 頁: 77-85 2016年6月
-
配列を入力引数とする関数の検証のための分離論理の拡張
水谷 慎之介, 西田 直樹, 酒井 正彦
情報処理学会第109回プログラミング研究発表会 頁: 1-8 2016年6月