权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

操作的意味を保存するプログラム変換の研究

保留运行意义的程序转换研究

基本信息

批准号：
14780251
负责人：
渡邊宏
金额：
$ 2.11万
依托单位：
National Institute of Advanced Industrial Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780251/
关键词：
操作的意味余代数分配則モナドプログラム変換遷移系

项目摘要

時間付きフォーマットなどの操作的規則のメタな統語的記述法を調査した。Kickらによる分配則を使った時間付きプロセスのモデルの理論、Bartelsらによる確率の入ったプロセスのモデルの理論をサーベイし、時間付きプロセスのための分配則については、分配則間の射が時間付きプロセスの双模倣で振舞いを保存する変換を与える見通しを得た。また、確率プロセスのための分配則についても、分配則の射が確率プロセスの双模倣で振舞いを保存する変換を与える見通しを得た。さらに、それぞれについて変換の具体例を探した。操作的規則の分配則間の射の統語的に書き下すことに関して、Klinによるトレース同値の合同関係を与える分配則を統語的に書き下すテクニックを理解し、応用できるかどうかを検討した。分配則から統語的表現へ変換する部分についてはテクニックが使えることがわかった。ただし、分配則の射を統語的表現に直すところは完成していない。操作的意味を保存する言語拡大についてAcetoらのアプローチと分配則の射のインスタンスの相違点について、Acetoらの操作的意味を与えるフォーマットが分配則の与えるフォーマットよりも広いこと、Acetoらの操作的意味を与えるフォーマットを制限すれば変換は一致することがわかった。多ステップの分配則モデルとその間の射を用いて弱双模倣をもたらすプログラム変換の特徴づけする試みはまだ検討中である。

The rules of operation and the description method of traditional language are investigated. Kick off the distribution rule to make the time to pay for the theory of the game, Bartels, accuracy of the entry rate of the game theory, time to pay for the game of the distribution rule, time to pay for the game of the double imitation, save the change and see the connection. For example, if the number of copies of a copy of a This article discusses the concrete examples of the changes in the structure of the system. The rules of operation and the rules of distribution are based on the contract relationship between the contract and the contract. The distribution is based on the performance of the system. In addition, the distribution of radiation is consistent with the performance of the system. The meaning of the operation is preserved. The meaning of the operation of Acto is preserved. The distribution of multiple types of objects is discussed in detail in the paper.