論文 - 酒井 正彦
-
An extension of proof graphs for disjunctive parameterised Boolean equation systems 査読有り
Yutaro Nagae, Masahiko Sakai
Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016) 頁： 3-14 2016年9月
-
Sound Structure-Preserving Transformation for Ultra-Weakly-Left-Linear Determini stic Conditional Term Rewriting Systems 査読有り
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
Informal Proceedings of the 3rd International Workshop on Rewriting Techniques f or Program Transformations and Evaluation (WPTE 2016) 頁： 61-75 2016年9月
-
Conditions for confluence of innermost terminating term rewriting systems 査読有り
Sayaka Ishizuki, Masahiko Sakai, Michio Oyamaguchi
Proceedings of the 5th International Workshop on Confluence (IWC 2016) 頁： 65-69 2016年9月
-
Term Rewriting with Prefix Context Constraints and Regularity Preservation and Bottom-Up Strategies 査読有り
Yoshiharu Kojima, Masahiko Sakai, Florent Jacquemard
Lecture Notes in Computer Science (CADE 2015) 9195 巻 頁： 137-151 2015年8月
-
Non-E-overlapping, weakly shallow, and non-collapsing TRSs are confluent 査読有り
Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
Lecture Notes in Computer Science (CADE 2015) 9195 巻 頁： 111-126 2015年8月
-
Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers 査読有り
Masahiko Sakai, Hidetomo Nabeshima
IEICE Transaction on Information and Systems E98-D 巻 ( 6 ) 頁： 1121-1127 2015年6月
-
Towards an Equational Theory of Rhythm Notation 査読有り
Pierre Donat-Bouillud, Florent Jacquemard, and Masahiko Sakai
Proc. of The Music Encoding Conference 2015 頁： 2 pages 2015年5月
-
Non-E-overlapping and weakly shallow TRSs are confluent 査読有り
Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa
Proceedings of the 3rd International Workshop on Confluence (IWC 2014) 頁： 34-38 2014年7月
-
Inverse Unfold Problem and Its Heuristic Solving 査読有り
Masanori Nagashima, Tomofumi Kato, Masahiko Sakai and Naoki Nishida
OASIcs 40 巻 頁： 27-38 2014年7月
-
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms 査読有り
Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano
Electronic Proceedings in Theoretical Computer Science 134 巻 頁： 1-10 2013年10月
-
Improving Determinization of Grammar Programs for Program Inversion 査読有り
Minami Niwa, Naoki Nishida, and Masahiko Sakai
Lecture Notes in Computer Science 7844 巻 頁： 137-154 2013年4月
-
Determinization of conditional term rewriting systems 招待有り 査読有り
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe
Theoretical Computer Science 464 巻 頁： 72-89 2012年12月
-
Extending Matching Operation in Grammar Program for Program Inversion 査読有り
Minami Niwa, Naoki Nishida, and Masahiko Sakai
Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012) 頁： 130-139 2012年9月
-
Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity 査読有り
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Logical Methods in Computer Science 8 巻 ( 3-4 ) 頁： 1-49 2012年8月
-
On determinazation of conditional term rewriting systems 査読有り
Masahiko Sakai
Proc. of 9th Asian Workshop on Foundation of Software (AWFS 2012) 頁： 18-19 2012年6月
-
Constrained Tree Automata and their Closure Properties 査読有り
Naoki Nishida, Futoshi Nomura, Katsuhisa Kurahashi and Masahiko Sakai
Proceedings of the 1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2012) 頁： 24-34 2012年6月
-
A Sound Type System for Typing Runtime Errors 査読有り
YAMADA Akihisa, KUSAKARI Keiichirou, SAKABE Toshiki, SAKAI Masahiko, NISHIDA Naoki
IPSJ Transactions on Programming 頁： to appear 2012年3月
-
Controlled Term Rewriting 査読有り
Florent Jacquemard, KOJIMA Yoshiharu, and SAKAI Masahiko
Proceedings of the 8th International Symposium on Frontiers of Combining Systems (FroCos 2011), LNCS 6989 巻 頁： 179-194 2011年10月
-
Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems 査読有り
KOJIMA Yoshiharu, SAKAI Masahiko, NISHIDA Naoki, KUSAKARI Keiichirou, SAKABE Toshiki
IPSJ Transactions on Programming 4 巻 ( 4 ) 頁： 12-35 2011年9月
-
Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity 査読有り
NISHIDA Naoki, SAKAI Masahiko, SAKABE Toshiki
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011), LIPIcs 10 巻 頁： 267-282 2011年5月