Programming Languages and Systems

  title={Programming Languages and Systems},
  author={Juris Hartmanis and Jan van Leeuwen},
  booktitle={Lecture Notes in Computer Science},
Our critical computing systems are coded in low-level, typeunsafe languages such as C, and it is unlikely that they will be re-coded in a high-level, type-safe language such as Java. This invited talk discusses some approaches that show promise in achieving type safety for legacy C code.