Safe Systems Programming Languages

@inproceedings{Li2004SafeSP,
  title={Safe Systems Programming Languages},
  author={Peng Li},
  year={2004}
}

• Peng Li
• Published 2004

The C programming language provides explicit memory management, precise control over low-level data representations and high code efficiency. These features are indispensable for systems programming. However, C achieved these goals at the cost of sacrificing type safety. Safety violations like array out-of-bound accesses and dangling pointer accesses lead… CONTINUE READING

Save

Watch Paper

Cite

View PDF