3 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Genet
This paper presents the first step of a wider research effort to apply tree automata completion to the static analysis of functional programs. Tree Automata Completion is a family…