Student understanding of the C++ notional machine through traditional teaching with conceptual contraposition and program memory tracing | IEEE Conference Publication | IEEE Xplore