Taku Terao

According to our database, Taku Terao authored at least 3 papers between 2014 and 2018.

Collaborative distances:

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

2018

Lazy Abstraction for Higher-Order Program Verification.

Taku Terao

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2016

Higher-Order Model Checking in Direct Style.

Taku Terao, Takeshi Tsukada, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2014

A ZDD-Based Efficient Higher-Order Model Checking Algorithm.

Taku Terao, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014