Now showing items 1-1 of 1

    • Newtonian Program Analysis via Tensor Product 

      Reps, Thomas; Turetsky, Emma; Prabhu, Prathmesh (2016-02-10)
      Recently, Esparza et al. generalized Newton's method -- a numerical-analysis algorithm for finding roots of real-valued functions -- to a method for finding fixed-points of systems of equations over semirings. Their method ...