Mar 6, 2022
Kmclib: Automated Inference and Verification of Session Types (PPL Category 2)
PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ
- ,
- ,
- Event date
- Mar 6, 2022 - Mar 8, 2022
- Language
- Japanese
- Presentation type
- Oral presentation (general)
- Link information
-
- Research Projects
- Network of automata with data based on compositional active learning
- Research Projects
- Session type embedding for practical concurrent/distributed programming
- Research Projects
- Session-typed programming in unreliable communication environment
- URL
- https://jssst-ppl.org/workshop/2022/program.html