Papers - NISHIDA Naoki
-
Approach to Software Verification Based on Transformation from Procedural Programs to Rewrite Systems
Yuki Furuichi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, and Toshiki Sakabe
IEICE Technical Report SS2006-41 (KBSE2006-17) Vol. 106 ( 324 ) page： 7-12 2006.10
-
Example Programs Generated by GeneSys and Proposal of Introduction Rule
Satoru Kondo, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, and Keiichirou Kusakari
IEICE Technical Report SS2006-46 (KBSE2006-22) Vol. 106 ( 324 ) page： 37-42 2006.10
-
Security Analysis of Information Flow for An Object-Oriented Language with Exception Handling
Sho Kurokawa, Hiroaki Kuwabara, Shinichirou Yamamoto, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
IEICE Technical Report SS2006-42 (KBSE2006-18) Vol. 106 ( 324 ) page： 13-18 2006.10
-
Compiling Term Rewriting Systems Having Higher-Order Functions
Yuji Sasada, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, and Naoki Nishida
Record of 2006 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers ( O-437 ) page： 1 2006.9
-
Unraveling for Conditional Term Rewriting Systems with Membership Constraints
Toshiki Murata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, and Keiichirou Kusakari
Record of 2006 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers ( O-438 ) page： 1 2006.9
-
Transformation for Refining Unraveled Conditional Term Rewriting Systems Reviewed
Naoki Nishida, Tomohiro Mizutani, and Masahiko Sakai
Proceedings of the 6th International Workshop on Reduction Strategies in Rewriting and Programming (WRS'06) page： 34-48 2006.8
-
Dependency Graph Method for Proving Termination of Narrowing Reviewed
Naoki Nishida and Koichi Miura
Proceedings of the 8th International Workshop on Termination (WST'06) page： 12-16 2006.8
-
Transformation of Equational Rewriting Systems for Removing some Equations.
Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, and Keiichirou Kusakari
IEICE Technical Report SS2006-14 Vol. 106 ( 120 ) page： 7-12 2006.6
-
Usable Rules and Labeling Product-Typed Term for Dependency Pair Method in Simply-Typed Term Rewriting Systems
Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, and Naoki Nishida
IEICE Technical Report SS2006-15 Vol. 106 ( 120 ) page： 13-18 2006.6
-
Secrecy Verification of Spi Calculus Based on Term Regular Expressions
Yoshihiko Tashiro, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
IEICE Technical Report SS2005-82 Vol. 105 ( 596 ) page： 35-40 2006.2
-
Lexicographic Path Ordering for Proving Termination of Functional Programs
Yumi Hoshino, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, and Naoki Nishida
IEICE Technical Report SS2005-85 Vol. 105 ( 597 ) page： 13-18 2006.2
-
Secrecy Verification by Transforming Cryptographic Protocol Descriptions to Coloured Petri Nets
Daisuke Okuya, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
IEICE Technical Report SS2005-58 Vol. 105 ( 490 ) page： 19-24 2005.12
-
Decidability of Termination for Left-Linear Shallow Term Rewriting Systems and Related
Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, and Toshiki Sakabe
IEICE Technical Report COMP2005-50 Vol. 105 ( 499 ) page： 9-13 2005.12
-
Type Judgement System for Communication Error in Distributed JoinJAVA Programs
Masaki Saeki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
IEICE Technical Report SS2005-67 Vol. 105 ( 491 ) page： 25-30 2005.12
-
On Completeness of Outermost Strategy for Overlapping TRSs
Atsushi Iwata, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, and Toshiki Sakabe
IEICE Technical Report SS2005-46 Vol. 105 ( 331 ) page： 39-44 2005.10
-
Proving Sufficient Completeness of Functional Programs based on Recursive Structure Analysis and Strong Computability Reviewed
Takahiro Sakurai, Keiichirou Kusakari, Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
Proceedings of the Forum on Information Technology 2005, Information Technology Letters ( LA-001 ) page： 1-4 2005.9
-
Verifying Cryptographic Protocols by Using Coloured Petri Nets
Daisuke Okuya, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
Record of 2005 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers ( O-198 ) page： 1 2005.9
-
Type Judgement Systems for Assuring Distributed JoinJAVA Programs Run Normally
Masaki Saeki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, and Naoki Nishida
Record of 2005 Tokai-section Joint Conference of the Eight Institutes of Electrical and Related Engineers ( O-306 ) page： 1 2005.9
-
Generation of Inverse Computation Programs of Constructor Term Rewriting Systems Reviewed
Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe
the IEICE Transactions on Information and Systems Vol. J88-D-I ( 8 ) page： 1171-1183 2005.8
-
Decidability of Termination for Semi-Constructor Term Rewriting Systems
Yi Wang, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, and Toshiki Sakabe
IEICE Technical Report SS2005-46 Vol. 105 ( 228 ) page： 13-18 2005.8