Sign in
Regular Tree Languages as an Abstract Domain in Program Specialisation.
John P. Gallagher
Julio C. Peralta
Published in:
High. Order Symb. Comput. (2001)
Keyphrases
</>
domain specific
high level
markov chain