Development of Verification Techniques for Equivalence of Programs via Rewriting Induction
通过重写归纳开发程序等价性验证技术
基本信息
- 批准号：18K11160
- 负责人：
- 金额：$ 2.83万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（27）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
LLVM中間表現の意味論規則を表現する制約付き書換え規則について
关于表达 LLVM 中间表示的语义规则的约束重写规则
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Morimae Tomoyuki;Tamaki Suguru;加藤拓洋，西田直樹，酒井正彦
- 通讯作者：加藤拓洋，西田直樹，酒井正彦
Formalizing Logically Constrained Term Rewriting Systems in Isabelle/HOL
Isabelle/HOL 中逻辑约束术语重写系统的形式化
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Takeshi Tsukada;Kazuyuki Asada;C.-H. Luke Ong;Ryota Nakayama
- 通讯作者：Ryota Nakayama
論理制約付き書換えにおける構造体および共用体の表現について
关于具有逻辑约束的重写中结构和联合的表示
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Yoshiki Nakamura;Kazuyuki Asada;Naoki Kobayashi;Ryoma Sin'ya;Takeshi Tsukada;金澤慶明，西田直樹，酒井正彦
- 通讯作者：金澤慶明，西田直樹，酒井正彦
排他制御を含むプログラムから論理制約付き項書換え系への変換
从包含独占控制的程序转换为具有逻辑约束的术语重写系统
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Gregory Benassy;Fukuhito Ooshita;and Michiko Inoue;玉置 卓;小嶋美咲，西田直樹，松原豊，酒井正彦
- 通讯作者：小嶋美咲，西田直樹，松原豊，酒井正彦
{{
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 }}
Nishida Naoki其他文献
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
可逆计算案例研究：并发程序的可逆调试
- DOI：
10.1007/978-3-030-47361-7_5 - 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Hoey James;Lanese Ivan;Nishida Naoki;Ulidowski Irek;Vidal Germ?n - 通讯作者：
Vidal Germ?n
MT1-MMPは浸潤性乳がん細胞においてER-Golgi SNARE Bet1と相互作用し、Bet1をエンドソームにリクルートする
MT1-MMP 与侵袭性乳腺癌细胞中的 ER-Golgi SNARE Bet1 相互作用，并将 Bet1 募集到内体中
- DOI：
- 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Arasaki Kohei;Nagashima Haruki;Kurosawa Yuri;Kimura Hana;Nishida Naoki;Dohmae Naoshi;Yamamoto Akitsugu;Yanagi Shigeru;Wakana Yuichi;Inoue Hiroki;Tagaya Mitsuo;神田拓，林楽人，多賀谷光男，井上弘樹;井上弘樹;小田切ゆか，長谷川花奈，多賀谷光男，井上弘樹 - 通讯作者：
小田切ゆか，長谷川花奈，多賀谷光男，井上弘樹
Titin遺伝子のsplice site variantを認めた若年者突然死の1剖検例．
一名患有 Titin 基因剪接位点变异的年轻人猝死的尸检案例。
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Takasaki Asami;Hirono Keiichi;Hata Yukiko;Wang Ce;Takeda Masafumi;Yamashita Jun K;Chang Bo;Nakaoka Hideyuki;Okabe Mako;Miyao Nariaki;Saito Kazuyoshi;Ibuki Keijiro;Ozawa Sayaka;Sekine Michikazu;Yoshimura Naoki;Nishida Naoki;Bowles Neil E.;Ichida Fukiko;濱野正嘉，五十嵐義幸，美邉 曉，青山 崇，舟山一寿，武市敏明，高塚尚和，塚 正彦．;西田尚樹，畑由紀子，一萬田正二郎．;阿松 翔，塚 正彦．;畑由紀子，一萬田正二郎，西田尚樹;塚 正彦，阿松翔，美邉 曉．;西田尚樹，畑由紀子，一萬田正二郎．;Masae Kitahiro，Toshiaki Takeichi，Satoru Minabe，Masahiko Zuka．;西田尚樹，畑由紀子，一萬田正二郎． - 通讯作者：
西田尚樹，畑由紀子，一萬田正二郎．
消化器外科医として目指したいがん患者のトータルケアを考える
作为一名胃肠外科医生，我对癌症患者的全面护理的思考
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Yoshida Koji;Hata Yukiko;Kinoshita Koshi;Takashima Shutaro;Tanaka Kortaro;Nishida Naoki;鍋谷 圭宏 - 通讯作者：
鍋谷 圭宏
Varieties of Unionism? A Set-Theoretic Approach to Business, Labor and Unemployment Benefits Development
工会主义的各种形式？
- DOI：
10.2139/ssrn.3918521 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Nishida Naoki - 通讯作者：
Nishida Naoki
Nishida Naoki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Nishida Naoki', 18)}}的其他基金
Neuropathological analysis for aged suicide victims.
老年自杀受害者的神经病理学分析。
- 批准号：
17K09263 - 财政年份：2017
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
- 批准号：
24K02900 - 财政年份：2024
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
書換え計算モデル論に基づく宣言型言語の並列性の解析および制御
基于重写计算模型理论的声明式语言并行性分析与控制
- 批准号：
05219201 - 财政年份：1993
- 资助金额：
$ 2.83万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas