A denotational tracing domain for C++ programs
Barry Goluboff · ACM SIGCSE Bulletin · 2008
By adding certain denotational constructs to C++, a domain is created wherein programs are traced as an augmentation of their source code. This tracing method is intended to be used along with other instructional strategies for teaching C++ programming.