Thumbnail
Access Restriction
Subscribed

Author Suzuki, Norihisa
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Pointer rotation ♦ List marking ♦ Safety of rotation ♦ List copying
Abstract Two high-level pointer operations, rotation and slide, reduce conceptual difficulties when writing pointer programs and increase the reliability of programs. We analyze theoretically as well as empirically why these operations are more convenient and introduce a mechanically checkable notion of the safety of rotations. Several examples show that safety is a good indication of program correctness. Examples of list marking and list copying programs demonstrate the utility of these operations.
Description Affiliation: Xerox Palo Alto Research Center, Palo Alto, CA (Suzuki, Norihisa)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 25
Issue Number 5
Page Count 6
Starting Page 330
Ending Page 335


Open content in new tab

   Open content in new tab
Source: ACM Digital Library