Memory safety without garbage collection for embedded applications
- 1 February 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Embedded Computing Systems
- Vol. 4 (1) , 73-111
- https://doi.org/10.1145/1053271.1053275
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Region inference for an object-oriented languageACM SIGPLAN Notices, 2004
- Using simplicity to control complexityIEEE Software, 2001
- Typing a multi-language intermediate codeACM SIGPLAN Notices, 2001
- The real-time specification for JavaComputer, 2000
- A region inference algorithmACM Transactions on Programming Languages and Systems, 1998
- Region-Based Memory ManagementInformation and Computation, 1997
- Efficient software-based fault isolationACM SIGOPS Operating Systems Review, 1993
- Optimizing array bound checks using flow analysisACM Letters on Programming Languages and Systems, 1993
- A practical algorithm for exact array dependence analysisCommunications of the ACM, 1992
- Modula-3 language definitionACM SIGPLAN Notices, 1992