基于知识的程序理解

_

knowledge based program understanding