Login / Signup
FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability.
Ana Milanova
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
learning algorithm
low cost
sufficient conditions
contextual information
directed acyclic graph