Title not available

Thomas Reps; Emma Turetsky; Prathmesh Prabhu; T Ball; S Rajamani; A Bouajjani; J Esparza; T Touili; R Bryant; J Cocke; P Cousot; R Cousot; M Elder; J Lim; T Sharma; T Andersen; T Reps; J Esparza; S Kiefer; M Luttenberger; A Farzan; Z Kincaid; P Ganty; R Iosif; F Konen; S Graf; H Sadi; S Graham; M Wegman; N Grathwohl; D Kozen; K Mamouras; B Kafle; J Gallagher; B Kafle; J Gallagher; P Ganty; J Kam; J Ullman; N Kidd; A Lal; T Reps; G Kildall; D Knuth; A Lal; N Kidd; T Reps; T Touili; A Lal; T Reps; A Lal; T Reps; A Lal; T Reps; G Balakrishnan; A Lal; T Touili; N Kidd; T Reps; G Litvinov; A Ya; S Rodionov; A Sergeev; Sobolevski; R Mcnaughton; H Yamada; U Mncke; R Wilhelm; M Ller-Olm; H Seidl; M Ller-Olm; H Seidl; T Reps; S Horwitz; M Sagiv; T Reps; A Lal; N Kidd; T Reps; S Schwoon; S Jha; D Melski; T Reps; E Turetsky; P Prabhu; M Schlund; M Terepeta; M Luttenberger; M Sharir; A Pnueli; R Tarjan; R Tarjan; J Ullman; J Ullman; A Van Gelder; V Vyssotsky; P Wegner; M Yannakakis

doi:10.1145/3062396

Home
Search
Title not available

https://doi.org/10.1145/3062396

Title not available

May 29, 2017
ACM Transactions on Programming Languages and Systems
Thomas Reps +97 more

Listen

Abstract
Literature Map
References
Similar Papers

Abstract

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 provides a new way to solve interprocedural dataflow-analysis problems. As in its real-valued counterpart, each iteration of their method solves a simpler "linearized" problem.