This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Making Pointers Safe in System Programming Languages
January 1985 (vol. 11 no. 1)
pp. 87-96
D.B. Lomet, IBM Thomas J. Watson Research Center
System programming languages usually provide pointers so as to permit efficient and understandable programs to be written. Some higher level languages either avoid pointers altogether or greatly circumscribe pointers to guarantee safety, i.e., so that programs cannot gain access to storage in an inappropriate way. By combining the ideas of 1) pointer scope front Algol 68, 2) tombstones for invalidating dangling references, and 3) freezing which permits freeable objects to have scoped pointers, we solVe the problem of providing convenient and efficient pointers while simultaneously guaranteeing safety.
Index Terms:
safety, Efficiency, pointers, programming languages
Citation:
D.B. Lomet, "Making Pointers Safe in System Programming Languages," IEEE Transactions on Software Engineering, vol. 11, no. 1, pp. 87-96, Jan. 1985, doi:10.1109/TSE.1985.231846
Usage of this product signifies your acceptance of the Terms of Use.