ANSI C言語用ソフトウェアスライサ開発へのXMLの応用
XML在ANSI C语言软件切片机开发中的应用
基本信息
- 批准号:14780202
- 负责人:
- 金额:$ 3.07万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2002
- 资助国家:日本
- 起止时间:2002 至 2004
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
前年度まででスライサとビジュアライザの基本的な研究・開発は終了した.本年度は,我々が開発したANSI C用XMLマークアップ言語であるACMLの応用と,昨年度までの研究で判明した「XMLを用いたソースレベルのデータ統合方式」の欠点をより解明・解決する研究を行った.1.ACMLを用いたプログラム情報抽出システムAXESの設計.昨年度までで実現したスライサとビジュアライザをさらに進めた応用事例として,構文要素を用いたパターン(例えば,@if($exp=$exp){})を与えることで,ソースコードの一部を検索できるプログラム情報抽出システムの設計を行った.この機能は,例えば既存のクロスリファレンサ(例えば,GNU GLOBAL, LXR, SPIE, Cxref)にない機能であり,ソースコードに対するより高度で柔軟な検索を可能とする点で意義が大きい.2.DWARF2デバッグ情報を用いたバイナリレベル・データ統合方式の評価.ソースレベルのデータ統合方式は,コンパイラの独自拡張や規格の未規定動作への対応が困難であることが判明したため,昨年度からバイナリレベルのデータ統合方式の設計・実装を開始し,本年度は本方式を用いて実装したクロスリファレンサやコールグラフ生成系の性能や開発効率の評価を行い,本方式の有効性を明らかにした.特に,組込みソフトウェア分野など,本質的にC言語が必要なソフトウェアに対しても本方式が有効であること,一部に不完全なデータ統合を許す「軽量なデータ統合方式」が有用であることを示した.
Last year's basic research and development was completed. This year, we have developed the application of ACML for ANSI C XML. Last year, we identified the shortcomings of XML application solution for XML integration. 1. The design of ACML application solution for XML extraction. Last year, we started to use examples and elements of structure to extract information from a part of the design. This function includes, for example, existing functions (e.g.,GNU GLOBAL, LXR, SPIE, Cxref), functions (e.g., functions), functions), functions (e.g., functions), functions (e.g., functions), functions), functions (e.g., functions), functions ( The design and implementation of the integrated mode of software development has begun in the past year, and the evaluation of the performance and development efficiency of the system has been carried out in the current year. In particular, the group is very good at it, the essence of the C language is necessary for it to be good at it, the part of the incomplete data integration is allowed to be "the amount of data integration method" is useful.
项目成果
期刊论文数量(21)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
権藤克彦, 川島勇人: "コンパクトなANSI CインタプリタXCIの設計と実装"電子情報通信学会論文誌. J86-D-I[3]. 159-168 (2003)
Katsuhiko Gondo、Hayato Kawashima:“紧凑型 ANSI C 解释器 XCI 的设计和实现”电子、信息和通信工程师学会汇刊 J86-D-I[3](2003 年)。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Yasser Kotb, Katsuhiko Gondow, Takuya Katayama: "Checking Consistency of XML Semantics Using Attribute Grammars"Int. Conf. on East-Asian Language Processing and Internet Information Technology (EALPIIT2002). 29-38 (2002)
Yasser Kotb、Katsuhiko Gondow、Takuya Katayama:“使用属性语法检查 XML 语义的一致性”Int。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Y.Kotb, K.Gondow, T.Katayama: "Optimizing the Execution Time for Checking the Consistency of XML Documents"Journal of Intelligent Information System (JTIS), Kluwer Academic Publishers. vol.22,no.3. 257-279 (2004)
Y.Kotb、K.Gondow、T.Katayama:“优化检查 XML 文档一致性的执行时间”智能信息系统杂志 (JTIS),Kluwer 学术出版社。
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
- 通讯作者:
Binary-level lightweight data integration to develop program understanding tools for embedded software in C
- DOI:10.1109/apsec.2004.36
- 发表时间:2004-11
- 期刊:
- 影响因子:0
- 作者:K. Gondow;Tomoya Suzuki;Hayato Kawashima
- 通讯作者:K. Gondow;Tomoya Suzuki;Hayato Kawashima
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
権藤 克彦其他文献
UCDetector: retain cycle detector for Swift language implemented on user-land
UCDetector:在用户态实现的 Swift 语言的保留循环检测器
- DOI:
10.11309/jssst.39.4_97 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
権藤 克彦;新山 祐介;荒堀 喜貴 - 通讯作者:
荒堀 喜貴
権藤 克彦的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('権藤 克彦', 18)}}的其他基金
ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発
开发易于使用软件检测进行调试的 C/C++ 内存相关漏洞检测器
- 批准号:
24K14890 - 财政年份:2024
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
ソフトウェア追跡性とソフトウェア解析技術の融合
软件溯源与软件分析技术融合
- 批准号:
19K11897 - 财政年份:2019
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
UNIX上のコマンドとファイル間の意味的制約・関係を管理するデータベースの作成
创建管理 UNIX 上命令和文件之间的语义约束以及关系的数据库
- 批准号:
10780174 - 财政年份:1998
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
l-Orodered属性文法の有用性の検証に関する研究
l-有序属性文法有效性验证研究
- 批准号:
08780248 - 财政年份:1996
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
相似国自然基金
基于集成学习的分布式XML数据流的挖掘模型与概念漂移挖掘方法研究
- 批准号:61773415
- 批准年份:2017
- 资助金额:64.0 万元
- 项目类别:面上项目
海量不确定XML数据查询关键技术研究
- 批准号:61602130
- 批准年份:2016
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
高扩展性XML关键字查询处理技术
- 批准号:61572421
- 批准年份:2015
- 资助金额:66.0 万元
- 项目类别:面上项目
基于事前约束的XML关键字查询处理技术
- 批准号:61472339
- 批准年份:2014
- 资助金额:80.0 万元
- 项目类别:面上项目
面向时空应用的大规模复杂模糊时空XML数据管理关键技术研究
- 批准号:61402087
- 批准年份:2014
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
模糊时空数据XML建模与查询关键技术研究
- 批准号:61370075
- 批准年份:2013
- 资助金额:73.0 万元
- 项目类别:面上项目
基于文本语境约束的XML商业报告多维分析模型研究
- 批准号:61303155
- 批准年份:2013
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
云计算环境下海量XML数据管理关键技术研究
- 批准号:61272181
- 批准年份:2012
- 资助金额:81.0 万元
- 项目类别:面上项目
面向XML数据的关键字查询算法辅助生成技术研究
- 批准号:61272124
- 批准年份:2012
- 资助金额:80.0 万元
- 项目类别:面上项目
不确定XML数据查询处理关键技术研究
- 批准号:61202083
- 批准年份:2012
- 资助金额:23.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Word文書のXML解析と機械学習を用いた授業課題レポート作成者の識別
使用 Word 文档的 XML 分析和机器学习识别课堂作业报告创建者
- 批准号:
23K02723 - 财政年份:2023
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
『カダム全集』所収『阿毘達磨集論』注釈群のXML電子テキスト構築
噶当全集《阿提达磨文集》注释XML电子文本的构建
- 批准号:
21H04339 - 财政年份:2021
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
XML Validation with Parabix Technology
使用 Parabix 技术进行 XML 验证
- 批准号:
539782-2019 - 财政年份:2019
- 资助金额:
$ 3.07万 - 项目类别:
University Undergraduate Student Research Awards
Textual Analysis of Tibetan Commentarial Traditions on the Abhidharmasamuccaya Using XML
使用 XML 对《阿毗达摩萨摩伽耶》的藏族注释传统进行文本分析
- 批准号:
18H00610 - 财政年份:2018
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Automated Web-Service Testing: WSDL/XSD/XML Bypass Testing
自动化 Web 服务测试:WSDL/XSD/XML 绕过测试
- 批准号:
527599-2018 - 财政年份:2018
- 资助金额:
$ 3.07万 - 项目类别:
University Undergraduate Student Research Awards
Design and implementation of fragmentation-adaptive parallel and distributed XML query library
分段自适应并行分布式XML查询库的设计与实现
- 批准号:
17K00108 - 财政年份:2017
- 资助金额:
$ 3.07万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
XML Access Control Based on Security Views
基于安全视图的XML访问控制
- 批准号:
DDG-2015-00050 - 财政年份:2016
- 资助金额:
$ 3.07万 - 项目类别:
Discovery Development Grant
XML Database for Magnetotelluric Transfer Functions
大地电磁传递函数 XML 数据库
- 批准号:
1463855 - 财政年份:2015
- 资助金额:
$ 3.07万 - 项目类别:
Standard Grant
XML Access Control Based on Security Views
基于安全视图的XML访问控制
- 批准号:
DDG-2015-00050 - 财政年份:2015
- 资助金额:
$ 3.07万 - 项目类别:
Discovery Development Grant
Updating and querying compressed XML documents
更新和查询压缩的 XML 文档
- 批准号:
21999-2010 - 财政年份:2014
- 资助金额:
$ 3.07万 - 项目类别:
Discovery Grants Program - Individual