On the knowledge required to understand a program | IEEE Conference Publication | IEEE Xplore