Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have