更安全的编程语言（幻灯片）

这是个幻灯片，用以介绍编程语言如何被设计成更安全、更抽象、更易于进行程序分析的。请移步幻灯片。