Realtime type error debugging

实时类型错误调试

基本信息

  • 批准号:
    16K16040
  • 负责人:
  • 金额:
    $ 2.41万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2016
  • 资助国家:
    日本
  • 起止时间:
    2016-04-01 至 2020-03-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A semi-embedded incremental parsing
半嵌入式增量解析
  • DOI:
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kanae Tsushima;Olaf Chitil;Joanna Sharrad;対馬かなえ;Kanae Tsushima
  • 通讯作者:
    Kanae Tsushima
実用的な型エラースライサーの提案と評価
实用型误差切片器的提案与评估
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    脇川 奈穂;対馬 かなえ
  • 通讯作者:
    対馬 かなえ
Type Debugging with Counter-Factual Type Error Messages Using an Existing Type Checker
使用现有类型检查器进行反事实类型错误消息的类型调试
A Common Framework Using Expected Types for Several Type Debugging Approaches
使用预期类型进行多种类型调试方法的通用框架
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kanae Tsushima;Olaf Chitil
  • 通讯作者:
    Olaf Chitil
複数の型エラースライスによるill-typedプログラムの分析
分析具有多个类型错误切片的错误类型程序
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    対馬 かなえ;佐藤 重幸
  • 通讯作者:
    佐藤 重幸
{{ 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 }}

Tsushima Kanae其他文献

中国における株主総会決議の瑕疵を争う訴訟の論点
中国股东大会决议缺陷诉讼问题
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fungwacharakorn Wachara;Tsushima Kanae;Satoh Ken;龍鉄=得津晶
  • 通讯作者:
    龍鉄=得津晶
「国際社会における脅威認識の動態:自然言語処理と機械学習による分析」
“国际社会威胁感知的动态:使用自然语言处理和机器学习进行分析”
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fungwacharakorn Wachara;Tsushima Kanae;Satoh Ken;龍鉄=得津晶;Tamara Enomoto;高木亨;春山剛・竹内裕希子;畑山周平;阪本拓人
  • 通讯作者:
    阪本拓人
ECサイトのアカウント停止時のギフト券未使用残高の帰趨
EC 网站帐户被暂停时礼券未使用余额的后果
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fungwacharakorn Wachara;Tsushima Kanae;Satoh Ken;Itsuhiro Hazama;岩城麻子・前田宜浩・森川信之・藤原広行・早川俊彦;得津晶
  • 通讯作者:
    得津晶
「木崎原の戦いに関する基礎的研究」(黒嶋敏編『戦国合戦〈大敗〉の歴史学』
《木崎原之战的基础研究》(黑岛聪主编《战国之战(大败)史》)
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fungwacharakorn Wachara;Tsushima Kanae;Satoh Ken;龍鉄=得津晶;Tamara Enomoto;高木亨;春山剛・竹内裕希子;畑山周平
  • 通讯作者:
    畑山周平
熊本地震後の自主防災組織の活動と課題
熊本地震后自愿防灾组织的活动和问题
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Fungwacharakorn Wachara;Tsushima Kanae;Satoh Ken;龍鉄=得津晶;Tamara Enomoto;高木亨;春山剛・竹内裕希子
  • 通讯作者:
    春山剛・竹内裕希子

Tsushima Kanae的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似国自然基金

北极斯瓦尔巴德近代湖泊沉积纹层及古环境重建
  • 批准号:
    40342001
  • 批准年份:
    2003
  • 资助金额:
    9.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

ソフトウェア計装を用いたデバッグが容易なC/C++メモリ関連脆弱性検知器の開発
开发易于使用软件检测进行调试的 C/C++ 内存相关漏洞检测器
  • 批准号:
    24K14890
  • 财政年份:
    2024
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
デバッグ技能だけでなく周辺知識の学習に関する支援も行う学習支援環境
一个学习支持环境,不仅为调试技能提供支持,还为学习外围知识提供支持。
  • 批准号:
    23K17014
  • 财政年份:
    2023
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Analysis of logging configurations on output and support of their optimization based on project characteristics
日志输出配置分析,支持根据项目特点进行优化
  • 批准号:
    23K16862
  • 财政年份:
    2023
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
設計価値を実感し活用できる演習環境によるプログラミング方法・価値観の定着支援
通过可以体验和运用设计价值的练习环境,支持建立编程方法和价值观
  • 批准号:
    22K12311
  • 财政年份:
    2022
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
プログラミング初学者の支援に向けたバグ自動修正・生成技術の創出
创建自动错误修正和生成技术以支持编程初学者
  • 批准号:
    22K18630
  • 财政年份:
    2022
  • 资助金额:
    $ 2.41万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了