Regular tree languages as an abstract domain in program specialisation (0)

by J Gallagher, J Peralta
Venue:Higher-Order and Symbolic Computation