情報処理学会 第79回全国大会講演要旨

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