PROUST: Knowledge-Based Program Understanding | IEEE Journals & Magazine | IEEE Xplore