Sign in

Heterogeneous Fixed Points with Application to Points-To Analysis.

Aditya KanadeUday P. KhedkerAmitabha Sanyal
Published in: APLAS (2005)
Keyphrases
  • fixed point
  • stationary points
  • image sequences
  • high quality
  • sufficient conditions
  • approximate value iteration