講演・口頭発表等

2022年1月12日

Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml

第137回プログラミング研究発表会
  • Keigo Imai
  • ,
  • Julien Lange
  • ,
  • Rumyana Neykova

記述言語
英語
会議種別
口頭発表(一般)

リンク情報
共同研究・競争的資金等の研究課題
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
共同研究・競争的資金等の研究課題
セッション型の埋め込みに基づく実用的な並行分散計算
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
URL
https://sigpro.ipsj.or.jp/pro2021-4/program/