53 citations · 154 across the 20 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017★ 3 cited
Higher-Order Program Verification via HFL Model Checking
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
There are two kinds of higher-order extensions of model checking: HORS model checking and HFL model checking. Whilst the former has been applied to automated verification of higher…
cs.FL2017
Pumping Lemma for Higher-order Languages
Kazuyuki Asada, Naoki Kobayashi
We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/index…
cs.LO2017★ 1 cited
Proceedings Eighth Workshop on Intersection Types and Related Systems
Naoki Kobayashi
This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto,…