IEICE SEARCH SYSTEM

Toshiki SAKABE

Solving Satisfiability of CNF Formulas with Clauses Based on Elementary Symmetric Functions Yohei UMANO Masahiko SAKAI Naoki NISHIDA Toshiki SAKABE Keiichirou KUSAKARI
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2010/01/01 Vol. J93-D No. 1 pp. 1-9 Type of Manuscript: PAPER Category: Keyword: SAT solver, satisfiability, elementary symmetric function, efficiency improvement,
	Summary \| Full Text(in Japanese):PDF (380.1KB)

A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling Sho KUROKAWA Hiroaki KUWABARA Shinichiro YAMAMOTO Toshiki SAKABE Masahiko SAKAI Keiichirou KUSAKARI Naoki NISHIDA
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2008/03/01 Vol. J91-D No. 3 pp. 757-770 Type of Manuscript: PAPER Category: Keyword: security checking, information flow analysis, type system, exception handling,
	Summary \| Full Text(in Japanese):PDF (447.2KB)

Usable Rules and Labeling Product-Typed Terms for Dependency Pair Method in Simply-Typed Term Rewriting Systems Takahiro SAKURAI Keiichirou KUSAKARI Masahiko SAKAI Toshiki SAKABE Naoki NISHIDA
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2007/04/01 Vol. J90-D No. 4 pp. 978-989 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: symply-typed term rewriting system, termination, strongly computable dependency pair method, usable rule, labeling,
	Summary \| Full Text(in Japanese):PDF (303.6KB)

Machine Execution of Type Inference for JavaScript Based on Model-Generation Theorem Prover Hirotaka OHKUBO Shinichiro YAMAMOTO Toshiki SAKABE Yasuyoshi INAGAKI
Publication: D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition) Publication Date: 2006/04/01 Vol. J89-D No. 4 pp. 693-704 Type of Manuscript: Special Section PAPER (Special Issue on Formal Approaches) Category: Keyword: JavaScript, type checking, theorem prover, MGTP,
	Summary \| Full Text(in Japanese):PDF (546.8KB)