Hiroki Oshikawa

According to our database, Hiroki Oshikawa authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Reduction from branching-time property verification of higher-order programs to HFL validity checking.

Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019