课题基金 / 基金详情

Efficient implementation and verification of practical structured-document transformation based on tree transducer theory

Efficient implementation and verification of practical structured-document transformation based on tree transducer theory
基于树换能器理论的实用结构化文档转换的高效实现与验证
批准号：
22700008
负责人：
NAKANO Keisuke
金额：
$1.83万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2010
资助国家：
日本
项目状态：
已结题
起止时间：
2010 至 2012
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22700008/
关键词：
オートマトン理論形式言語理論構造化文書変換プログラム検証木トランスデューサ形式言語構造化文書データベース双方向変換ビュー更新

项目摘要

项目成果

NAKANO Keisuke的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The goal of this research project is to demonstrate the practicality of the theory of tree transducers (TTs) by applying it to transformation of structured documents such as the XML format. The TT theory has been intensively studied by researchers in formal language theory from the mathematical point of view. The project representative confirmed the practicality of TT streaming and TT verification by extending existing results on composition and typechecking TTs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
View Updatability Checking with Simulation-based Graph Schema
使用基于模拟的图模式查看可更新性检查
DOI： 10.11309/jssst.29.2_174
发表时间： 2012
期刊： Computer Software
影响因子： --
作者： [中野圭介, 日高宗一郎,胡振江,稲葉一 浩,加藤弘之]
通讯作者： 日高宗一郎,胡振江,稲葉一 浩,加藤弘之
模倣に基づくグラフスキーマを利用したビュー更新可能性判定
使用基于模仿的图形模式查看可更新的确定
DOI： --
发表时间： 2012
期刊： コンピューターソフトウェア
影响因子： --
作者： [権藤晃徳, 岸知二, Ｓ．Ｗｅｉ, 中野圭介，日高宗一郎，胡振江，稲葉一浩，加藤弘之，]
通讯作者： 中野圭介，日高宗一郎，胡振江，稲葉一浩，加藤弘之，
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
DOI： 10.1109/ase.2011.6100104
发表时间： 2011-11
期刊： 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
影响因子： --
作者： [S. Hidaka;Zhenjiang Hu;K. Inaba;H. Kato;Keisuke Nakano]
通讯作者： S. Hidaka;Zhenjiang Hu;K. Inaba;H. Kato;Keisuke Nakano
模倣に基づくグラフスキーマを利用したビュー更新可能性
使用基于模仿的图形模式查看可更新
DOI： --
发表时间： 2011
期刊：
影响因子： --
作者： [Keigo Kinpara, Tomoko Izumi, TaisukE Izumi, Koichi Wada, 中野圭介,日高宗一郎,胡振江,稲葉一 浩,加藤弘之]
通讯作者： 中野圭介,日高宗一郎,胡振江,稲葉一 浩,加藤弘之
共 15 条
    Research on dynamic information floating considering behavior changes of mobile nodes
    • 批准号：
      16K06344
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.41万
    • 财政年份：
      2016
    • 负责人：
      NAKANO Keisuke
    • 依托单位：
      Niigata University
    Research on information floating by probe epidemic transmission
    • 批准号：
      25420360
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.58万
    • 财政年份：
      2013
    • 负责人：
      NAKANO Keisuke
    • 依托单位：
      Niigata University
    Elucidation of the molecular mechanisms of tissue repair using stem cells
    • 批准号：
      23593075
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.33万
    • 财政年份：
      2011
    • 负责人：
      NAKANO Keisuke
    • 依托单位：
      Matsumoto Dental University
    Development of epidemic wireless transmission methods for communication between isolated regions in times of disaster
    • 批准号：
      22560365
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.16万
    • 财政年份：
      2010
    • 负责人：
      NAKANO Keisuke
    • 依托单位：
      Niigata University
    海外基金