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
- ,
- ,
- 開始ページ
- 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
- ORCIDのPut Code : 110624874