論文

査読有り 本文へのリンクあり
2022年

Kmclib: Automated Inference and Verification of Session Types from OCaml Programs

TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 13243
  • Keigo Imai
  • ,
  • Julien Lange
  • ,
  • Rumyana Neykova

開始ページ
379
終了ページ
386
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-030-99524-9_20, 10.48550/arXiv.2111.12147

リンク情報
DOI
https://doi.org/10.1007/978-3-030-99524-9_20 本文へのリンクあり
DOI
https://doi.org/10.48550/arXiv.2111.12147 本文へのリンクあり
共同研究・競争的資金等の研究課題
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
共同研究・競争的資金等の研究課題
セッション型の埋め込みに基づく実用的な並行分散計算
共同研究・競争的資金等の研究課題
メッセージの到達性を保証しない通信環境におけるセッション型付きプログラミング
URL
https://link.springer.com/content/pdf/10.1007/978-3-030-99524-9_20
ID情報
  • DOI : 10.1007/978-3-030-99524-9_20
  • DOI : 10.48550/arXiv.2111.12147
  • ISSN : 0302-9743
  • eISSN : 1611-3349
  • ISBN : 9783030995232
  • ISBN : 9783030995249
  • 共同研究・競争的資金等の研究課題の業績ID : 34137738
  • 共同研究・競争的資金等の研究課題の業績ID : 32080409
  • 共同研究・競争的資金等の研究課題の業績ID : 11567422

エクスポート
BibTeX RIS