刷新
Evolutionary development of a model checker compiler using verification technology and non-standard type systems
使用验证技术和非标准类型系统的模型检查器编译器的进化开发
基本信息
- 批准号：24650016
- 负责人：
- 金额：$ 2.41万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2012
- 资助国家：日本
- 起止时间：2012-04-01 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（15）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Concurrent Objects and Beyond (COB 2012), G. Agha et al. (eds.) （査読有）
并发对象及超越 (COB 2012)，G. Agha 等人（编辑）（同行评审）
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：信夫 裕貴;上田 和紀;Kazunori Ueda et al.;Kazunori Ueda;Kazunori Ueda
- 通讯作者：Kazunori Ueda
Towards a Substrate Framework of Computation, in Concurrent Objects and Beyond (COB 2012)
迈向并发对象及其他计算的底层框架 (COB 2012)
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：信夫 裕貴;上田 和紀;Kazunori Ueda et al.;Kazunori Ueda
- 通讯作者：Kazunori Ueda
LMNtalにおけるグラフ書換え操作のCoqによる形式化
使用 Coq 形式化 LMNtal 中的图重写操作
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：Alimujiang Yasen;上田和紀;信夫裕貴，田辺良則，上田和紀
- 通讯作者：信夫裕貴，田辺良則，上田和紀
Concurrent Objects and Beyond, Gul Agha et al. (eds.), Lecture Notes in Computer Science 8665
并发对象及其他，Gul Agha 等人。
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：信夫 裕貴;上田 和紀;Kazunori Ueda et al.
- 通讯作者：Kazunori Ueda et al.
LMNtal: モデル検査機能と統合ビジュアル環境を備えた階層グラフ書換え言語処理系
LMNtal：具有模型检查功能和集成视觉环境的层次图重写语言处理系统
- DOI：
- 发表时间：
- 期刊：
- 影响因子：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 }}
UEDA Kazunori其他文献
UEDA Kazunori的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('UEDA Kazunori', 18)}}的其他基金
Research of peer-to-peer network application based on multi-overlay networks
基于多重覆盖网络的点对点网络应用研究
- 批准号：
16K00137 - 财政年份：2016
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Implementations of high-level modeling languages that integrate high-performance verifiers
集成高性能验证器的高级建模语言的实现
- 批准号：
23300011 - 财政年份：2011
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
High-level hybrid constraint modeling language and its reliable implementation
高级混合约束建模语言及其可靠实现
- 批准号：
20300013 - 财政年份：2008
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Putting Scalable and Unifying Programming Language Model LMNtal into Practical Use
将可扩展且统一的编程语言模型 LMNtal 投入实际使用
- 批准号：
16300009 - 财政年份：2004
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming
基于并发逻辑编程的广域分布式计算范式
- 批准号：
11680370 - 财政年份：1999
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Applications of Strong Moding in Concurrent Logic Programming
强模态在并发逻辑编程中的应用
- 批准号：
07680371 - 财政年份：1995
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
コンパイラ中間表現に基づく情報流解析による安全性検証の多プログラミング言語展開
基于编译器中间表示的信息流分析多编程语言安全验证开发
- 批准号：
24K14906 - 财政年份：2024
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
遅延評価を行うプログラミング言語の必要呼び意味論とコンパイラの形式的検証
具有惰性求值和编译器形式化验证的编程语言的必要调用语义
- 批准号：
19J11926 - 财政年份：2019
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
超準モデル構成のトポス理論的一般化と，ハイブリッドシステム検証への応用
超准模型配置的拓扑理论推广及其在混合系统验证中的应用
- 批准号：
14J09142 - 财政年份：2014
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases
使用时态逻辑和考虑别名的高级 SSA 形式优化来生成和验证编译器优化器
- 批准号：
19300006 - 财政年份：2007
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Optimization Verifying Compilers
优化验证编译器
- 批准号：
17500016 - 财政年份：2005
- 资助金额：
$ 2.41万 - 项目类别：
Grant-in-Aid for Scientific Research (C)