Automata theory and higher-order model-checking
Igor Walukiewicz · ACM SIGLOG News · 2016
In verification, an automata theoretic approach is by now a standard. In order to extend this approach to higher-order programs we need a good understanding of higher-order control flow, and for this semantics has the right tools. We present some results and methods of this subject between automata theory and semantics.