On algebraic specification languages based on modular rewriting systems
基于模块化重写系统的代数规约语言
基本信息
- 批准号:22700027
- 负责人:
- 金额:$ 2.41万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2010
- 资助国家:日本
- 起止时间:2010 至 2012
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
We studied about term rewriting systems to give an operational semantics of specification execution for algebraic specificationlanguages with sophisticated module systems. Our main result is a termination proving methods based on module structures. Termination is one of the most important properties of term rewriting, which guarantees any specification execution terminates in finite time. By our results, we can prove termination of large and complex algebraic specifications with conditional equations efficiently.
我们研究了术语重写系统,为具有复杂模块系统的代数规范语言提供了规范执行的操作语义。我们的主要成果是基于模块结构的终止证明方法。终止是术语重写最重要的特性之一,它保证了任何规范的执行在有限时间内终止。通过本文的结果,我们可以有效地证明具有条件方程的大型复杂代数规范的终止性。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications.
术语重写系统中操作符号的可约化性及其在行为规范中的应用。
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0.7
- 作者:Masaki Nakamura;Kazuhiro Ogata;Kokichi Futatsugi
- 通讯作者:Kokichi Futatsugi
OTS/CafeOBJ 法における証明譜からのテスト生成
OTS/CafeOBJ 方法中的证明分数生成测试
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0
- 作者:中川博之;大須賀昭彦;本位田真一;中村正樹
- 通讯作者:中村正樹
Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
在工具支持下将状态机从方程理论转化为重写理论
- DOI:10.1587/transinf.e94.d.976
- 发表时间:2011
- 期刊:
- 影响因子:0.7
- 作者:Min Zhang;Kazuhiro Ogata;Masaki Nakamura
- 通讯作者:Masaki Nakamura
OTS/CafeOBJ 法に基づく並行システムの実装とテスト生成
基于OTS/CafeOBJ方法的并发系统实现和测试生成
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0
- 作者:清野貴博;中村正樹
- 通讯作者:中村正樹
On DescribingTerminating AlgebraicSpecificationsBased on Their Models
关于基于模型描述终止代数规范
- DOI:
- 发表时间:2013
- 期刊:
- 影响因子:0
- 作者:Masaki Nakamura;Kazuhiro Ogata;Kokichi Futatsugi
- 通讯作者:Kokichi Futatsugi
{{
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 }}
NAKAMURA Masaki其他文献
Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method
使用 OTS/CafeOBJ 方法规范和验证多任务实时系统
- DOI:
10.1587/transfun.2021map0007 - 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
NAKAMURA Masaki;HIGASHI Shuki;SAKAKIBARA Kazutoshi;OGATA Kazuhiro - 通讯作者:
OGATA Kazuhiro
NAKAMURA Masaki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('NAKAMURA Masaki', 18)}}的其他基金
Economic Development and Regional Community in Postwar Japan: Case of Ikeshima Coal Mine
日本战后的经济发展与地区共同体:以池岛煤矿为例
- 批准号:
26560138 - 财政年份:2014
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Challenging Exploratory Research
The association between sleepiness and cognitive dysfunction and brain micro-morphological change in obstructive sleep apnea syndrome
阻塞性睡眠呼吸暂停综合征嗜睡与认知功能障碍及脑微形态变化的关系
- 批准号:
23791374 - 财政年份:2012
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Development of the new cancer immunotherapy using fusion cell-vaccine of iPSDC and cancer stem cell
使用iPSDC和癌症干细胞的融合细胞疫苗开发新的癌症免疫疗法
- 批准号:
23591874 - 财政年份:2011
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
MR-Tractography study of the pathogenesis of arousal impairment in hypersomnia
嗜睡症觉醒障碍发病机制的磁共振纤维束成像研究
- 批准号:
21791161 - 财政年份:2009
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Study on the development of research integrity in the United States
美国科研诚信发展研究
- 批准号:
21700842 - 财政年份:2009
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Development of cancer vaccine therapy using dendritic cells transduced with TGF-βsiRNA for digestive cancer
使用转染TGF-βsiRNA的树突状细胞开发用于消化道癌症的癌症疫苗疗法
- 批准号:
20591533 - 财政年份:2008
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
On a formal verification system based on modular term rewriting
基于模块化术语重写的形式化验证系统
- 批准号:
18700024 - 财政年份:2006
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
An experimental study on cancer vaccine therapy using dendritic cells genetically transduced with the tumor antigen gene and the ubiquitin gene
使用转染肿瘤抗原基因和泛素基因的树突状细胞进行癌症疫苗治疗的实验研究
- 批准号:
17591342 - 财政年份:2005
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似海外基金
Automatic Analysis of Requirements Model with Algebraic Specification Techniques
利用代数规约技术自动分析需求模型
- 批准号:
20500042 - 财政年份:2008
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Algebraic Specification Approach to Model-Checking with Constraints
带约束的模型检查的代数规约方法
- 批准号:
17500028 - 财政年份:2005
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
分散システムのための代数仕様記述と検証に関する研究
分布式系统代数规约描述与验证研究
- 批准号:
11780207 - 财政年份:1999
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1994
- 资助金额:
$ 2.41万 - 项目类别:
Discovery Grants Program - Individual
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1993
- 资助金额:
$ 2.41万 - 项目类别:
Discovery Grants Program - Individual
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1992
- 资助金额:
$ 2.41万 - 项目类别:
Discovery Grants Program - Individual
Abstraction of Nonterminating Processes and Its Algebraic Specification
非终止过程的抽象及其代数规范
- 批准号:
63580025 - 财政年份:1988
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for General Scientific Research (C)
Developmental Studies on Software Development Environment Based on Algebraic Specification Method
基于代数规约方法的软件开发环境的开发研究
- 批准号:
62880007 - 财政年份:1987
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Developmental Scientific Research