2022年3月6日
Kmclib: Automated Inference and Verification of Session Types (PPL カテゴリ2)
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ
- ,
- ,
- 開催年月日
- 2022年3月6日 - 2022年3月8日
- 記述言語
- 日本語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
- URL
- https://jssst-ppl.org/workshop/2022/program.html