Efficient memory safety for TinyOS
- 6 November 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- t-kernelPublished by Association for Computing Machinery (ACM) ,2006
- Efficient type and memory safety for tiny embedded systemsPublished by Association for Computing Machinery (ACM) ,2006
- VirgilPublished by Association for Computing Machinery (ACM) ,2006
- Pluggable abstract domains for analyzing embedded softwarePublished by Association for Computing Machinery (ACM) ,2006
- Backwards-compatible array bounds checking for C with very low overheadPublished by Association for Computing Machinery (ACM) ,2006
- CCured: type-safe retrofitting of legacy softwareACM Transactions on Programming Languages and Systems, 2005
- Memory safety without garbage collection for embedded applicationsACM Transactions on Embedded Computing Systems, 2005
- Guest Editors' Introduction: Overview of Sensor NetworksComputer, 2004
- The nesC languagePublished by Association for Computing Machinery (ACM) ,2003
- Preliminary Ada reference manualACM SIGPLAN Notices, 1979