Login / Signup
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Patricia M. Hill
Enea Zaffanella
Roberto Bagnara
Published in:
CoRR (2004)
Keyphrases
</>
small number
input data
low level