String Analysis for the Development of Web Software
String Analysis for the Development of Web Software
Web 软件开发中的字符串分析
批准号：
24500028
负责人：
MINAMIDE Yasuhiko
金额：
$3.24万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Streaming String Transducerの等価性判定と正規表現による文字列置換への応用
Streaming String Transducer在正则表达式相等判断和字符串替换中的应用
Streaming String Transducer在正则表达式相等判断和字符串替换中的应用
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[加賀江 優幸, 南出 靖彦]
通讯作者：
南出 靖彦
Complexity Analysis of Regular Expression Matching Based on Backtracking
基于回溯的正则表达式匹配复杂度分析
基于回溯的正则表达式匹配复杂度分析
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[加賀江 優幸, 南出 靖彦, 藤田憲悦, 今井桂子, Zhi-Zhong Chen, 近藤通朗, 倉田俊彦, Yasuhiko Minamide]
通讯作者：
Yasuhiko Minamide
アトミックグループで拡張された正規表現のオートマトンへの変換
将使用原子组扩展的正则表达式转换为自动机
将使用原子组扩展的正则表达式转换为自动机
DOI：
--
发表时间：
2013
期刊：
情報処理学会論文誌:プログラミング
影响因子：
--
作者：
[杉山 聡, 南出 靖彦]
通讯作者：
南出 靖彦
Weighted Pushdown Systems with Indexed Weight Domains
具有索引权重域的加权下推系统
具有索引权重域的加权下推系统
DOI：
10.1007/978-3-642-36742-7_17
发表时间：
2013
期刊：
Proc. the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
[佐々木信彰, 佐々木保幸, 本西泰三, 劉 平, 水野一郎, 岡照二, 施学昌, 伊佐田文彦, 徳山美津恵, 仲川勇二, Yasuhiko Minamide]
通讯作者：
Yasuhiko Minamide
Conditional Transformable Pushdown System: スタックの変換と検査が可能なプッシュダウンシステム
有条件可转换下推系统：允许堆栈转换和检查的下推系统。
有条件可转换下推系统：允许堆栈转换和检查的下推系统。
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[上里 友弥, 南出 靖彦]
通讯作者：
南出 靖彦
共 12 条
Verification of Web Software Based on String Analysis
-
批准号：21500028
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.75万
-
财政年份：2009
-
负责人：MINAMIDE Yasuhiko
-
依托单位：
Verification of Software with Interactive Theorem Proving
-
批准号：18700018
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.18万
-
财政年份：2006
-
负责人：MINAMIDE Yasuhiko
-
依托单位：
海外基金