The power of notation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The power of notation: modeling pointer operations

Full text

Pdf (388 KB)

Source

ACM SIGCSE Bulletin archive
Volume 37 , Issue 2 (June 2005) table of contents

COLUMN: Reviewed papers table of contents

Pages: 41 - 45

Year of Publication: 2005

ISSN:0097-8418

Author

Tom M. Warms

The Pennsylvania State University, Abington, Pennsylvania

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract references cited by 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/1083431.1083460 What is a DOI?

ABSTRACT

A system of notations for tracing programs devised by the author is shown to be of use in modeling operations on pointers. Typical examples using linked lists are provided.

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.

Tom M. Warms, Tracing the execution of C++ programs, ACM SIGCSE Bulletin, v.33 n.4, December 2001 [doi>10.1145/572139.572173]

CITED BY 2

	Barry Goluboff, A denotational tracing domain for C++ programs, ACM SIGCSE Bulletin, v.40 n.2, June 2008
	Susan M. Eitelman, Computer tutoring for programming education, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida