A denotational tracing domain for C++ programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A denotational tracing domain for C++ programs

Full text

Pdf (779 KB)

Source

ACM SIGCSE Bulletin archive
Volume 40 , Issue 2 (June 2008) table of contents

REVIEWS: Reviewed papers table of contents

Pages 56-61

Year of Publication: 2008

ISSN:0097-8418

Author

Barry Goluboff

Pennsylvania State University, Abington, Pennsylvania

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 17, Citation Count: 0

Additional Information:

abstract references index terms

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1383602.1383635 What is a DOI?

ABSTRACT

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Tom M. Warms, Tracing the execution of C++ programs, ACM SIGCSE Bulletin, v.33 n.4, December 2001 [doi>10.1145/572139.572173]
	2	Tom M. Warms, The power of notation: modeling pointer operations, ACM SIGCSE Bulletin, v.37 n.2, June 2005 [doi>10.1145/1083431.1083460]