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

Modelling of Control Capture and Its Applications

控制捕获建模及其应用

基本信息

批准号：
20K11743
负责人：
西崎真也
金额：
$ 2.5万
依托单位：
Tokyo Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
起止时间：
2020-04-01 至 2024-03-31
项目状态：
已结题

项目摘要

例外処理機構は、多くのプログラミング言語において重要な仕組みであり、大域脱出とfinallyブロックを通じてコントロールキャプチャが提供されている。大域脱出や一級継続は、意味論や数理論理学との関連性を含め、多くの研究成果が得られている。しかし、コントロールキャプチャに関する研究はまだ不十分である。本研究では、これまでの大域脱出・一級継続の研究結果を基盤として、コントロールキャプチャ機能を有する例外処理機構の計算モデルを提案する。関数型言語の計算モデルであるラムダ計算を始めとして、命令形言語やオブジェクト指向言語など様々なプログラミングパラダイムに対して研究を進める。さらに、その計算モデルを基盤として、コントロールキャプチャ機能を有する例外処理機構に対する検証手法を確立する。研究成果によって、コントロールキャプチャ機能に対する新たな理解が深まり、導入されていない言語への指針が得られ、コントロールキャプチャや例外処理機構を用いたプログラムのシステム検証の構築が期待される。プログラミング言語における関数クロージャは、自由変数を含む関数本体と、それらの値との関連付け（環境）を伴う。従来の理論では、関数クロージャから環境部分を抽出することで、環境を第一級オブジェクトとして扱う必要があった。本研究では、ラムダ計算において関数クロージャの環境を別の関数クロージャの環境と置き換える方法を提案し、環境を直接第一級オブジェクトとして扱うことを避ける。新たな計算システム「環境移植を伴うラムダ計算」が導入され、構文・簡約規則で定義される。変換意味論により簡約の健全性が示され、簡単な型システムと主題簡約性が提供される。このアプローチは、関数クロージャの理解と扱いを改善する新たな方法を提案している。

Exception handling organization, multi-purpose organization, large area removal出とfinally ブロックを通じてコントロールキャプチャが provides されている. The large domain escapes from the first level, the meaning theory, the number theory, the correlation, and the multi-research results are obtained.しかし、コントロールキャプチャに关する Research はまだNot very である. This study is based on the results of the large-area escape and first-level research. The ントロールキャプチャfunction has an exception processing mechanism and a calculation モデルを proposal. Calculation of the number-type language, calculation, calculation, and imperative language.ェクトPoint to the wordsなど様々なプログラミングパラダイムに対して研究を入める.さらに、そのcalculationモデルをbaseとして、コントロールキャプThis function has an exception handling mechanism and the certification method has been established. The research results are as follows: Needle, コントローコントロールキャプチャや exception processing mechanism を use いたプログラムのシステム検证のconstruction and expectation される.プログラミングverbal におけるkanshu クロージャは, free 変number をcontaining kanshu noumenon と, それらの値とのrelated pay け (environment) を companion う. The theory of 従来では, the level of the environment part is drawn out, and the environment is the first level necessary. In this study, we calculated the number of において妯寇ロージャのEnvironment and the number of クロージャのEnvironment. The method of setting up the replacement is the proposal, and the environment is the direct first-level solution.新たなcalculationシステム「Environment transplantationを与うラムダcalculation」がimportされ、Composition・Simplification rulesでDefinitionされる. Change meaning theory によりsimplification and soundness がshow され, simplistic なtype システムとtheme simplicity がprovide される.このアプローチは, Kanshu クロージャのUnderstanding と扱いを Improvement するNew たなmethodをProposal している.