能并且降低程序的资源占用，后者研究如何确保程序完成预期的任务。
比较程序语言分析.比较编程语言分析旨在根据编程语言的特点将其分类为不同类型，编程语言的大类通常被称为编程范例。
泛型和元编程.是指某类计算机程序的编写，这类计算机程序编写或者操纵其它程序（或者自身）作为它们的数据，或者在运行时完成部分本应在编译时完成的工作。
领域特定语言.指专注于某个应用程序领域的计算机语言。
编译原理.编译原理是编写编译器