Login / Signup

Newtonian Program Analysis via Tensor Product.

Thomas W. RepsEmma TuretskyPrathmesh Prabhu
Published in: ACM Trans. Program. Lang. Syst. (2017)
Keyphrases
  • tensor product
  • b spline
  • cubic spline
  • multiscale
  • linear combination