2022年1月12日
Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml
第137回プログラミング研究発表会
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
- URL
- https://sigpro.ipsj.or.jp/pro2021-4/program/