非同期並列プログラミング言語の意味論と実装

情報処理学会

この論文をさがす

抄録

近年，様々なソフトウェア開発において「非同期処理」を扱う状況が増加している．非同期処理や並列処理を記述するための既存技術として，「Thread」「Promise」「Channel」「Async/Await」 などが存在する．これらはすべて，特別な予約語や構文を用いたり，非同期処理を意識しながらコードを記述する必要がある．本研究では，このような非同期処理の複雑さを排除することを目的とし，非同期処理に特化したプログラミング言語の処理系を提案する．そして，言語の意味論を定式化し，提案言語で記述されたプログラムを解釈できるインタプリタの実装を行う．

収録刊行物

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ