Patrick Cousot / Radhia Cousot / Andrey Rybalchenko / Nicolas Halbwachs / Robert W. Floyd / Caterina Urban / Bertrand Jeannet / Antoine Miné / Andreas Podelski / François Bourdoncle / reached yielding the following ranking function C. Urban / /
Position
Unified Lattice Model for Static Analysis / /
Technology
partition unification algorithm / Digital Object Identifier / /