Author:
Kobayashi Naoki,Igarashi Atsushi
Publisher
Springer Berlin Heidelberg
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Model-Checking Higher-Order Effectful Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Verifying higher-order concurrency with data automata;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
3. Leafy automata for higher-order concurrency;Lecture Notes in Computer Science;2021
4. Soft contract verification for higher-order stateful programs;Proceedings of the ACM on Programming Languages;2018-01
5. Constrained Dynamic Tree Networks;Lecture Notes in Computer Science;2018