2021年4月 - 2025年3月
セッション型の埋め込みに基づく実用的な並行分散計算
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C)
- ID情報
-
- 課題番号 : 21K11827
この研究課題の成果一覧
絞り込み
受賞
1論文
1-
TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243 379-386 2022年 査読有り
講演・口頭発表等
10-
第143回プログラミング研究発表会 2023年3月23日
-
第141回プログラミング研究発表会 2022年10月27日
-
WST 2022: 18th International Workshop on Termination 2022年8月12日
-
PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany 2022年4月3日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月8日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月7日
-
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ 2022年3月6日
-
第137回プログラミング研究発表会 2022年1月12日
-
ML'21: ML Workshop 2021, co-located with ICFP 2021 2021年8月26日
-
ICE 2021: 14th Interaction and Concurrency Experience, co-located with DisCoTec 2021 2021年6月18日