《程序分析方法》——1.3 小结

1.3 小结

　　本章介绍了程序设计语言的历史、程序设计语言的实现方式和程序设计语言的未来发展趋势。程序设计语言作为程序员与计算机交流的唯一媒介，其演变历程、实现方式和未来发展趋势，对于程序设计、程序分析、程序验证和程序的正确性证明等问题的研究有着深远的影响。程序设计语言发展至今，经历了机器语言、汇编语言、高级语言和第四代语言的演变，语言的定义和实现方法逐步完善。尤其是高级程序设计语言，根据编程机理的不同，又细化出命令式语言、函数式语言、面向对象语言、逻辑式语言四种不同范型。不同的语言范型，催生了不同的实现技术，例如编译、解释、转换等。随着应用领域的扩大和新型程序开发方法的出现，程序语言将向“多范式”方向发展。