Back to Search
Start Over
Making Pointers Safe in System Programming Languages
- Source :
- IEEE Transactions on Software Engineering. :87-96
- Publication Year :
- 1985
- Publisher :
- Institute of Electrical and Electronics Engineers (IEEE), 1985.
-
Abstract
- 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.
- Subjects :
- Programming language
Computer science
ALGOL 68
Smart pointer
Second-generation programming language
computer.software_genre
Third-generation programming language
Dangling pointer
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Pointer (computer programming)
Programming paradigm
Fifth-generation programming language
computer
Memory safety
Tombstone (programming)
Software
computer.programming_language
Subjects
Details
- ISSN :
- 00985589
- Database :
- OpenAIRE
- Journal :
- IEEE Transactions on Software Engineering
- Accession number :
- edsair.doi...........7aabf4657add0d27cd28cf482e00ef66