Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering.

K. Rustan M. Leino Position Statement: Ceaselessly-Analyzing Development Environments, One Direction for the Next 40 Years of Software Engineering. 11 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.242 conf/compsac/2008 db/conf/compsac/compsac2008.html#Leino08