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