一般程序设计语言包含两种基本的抽象：过程抽象和数据抽象。过程抽象有时也称控制抽象。
子程序在1950年以前就发明了，作为一种抽象那时候并未被完全接受。相反，最初它被看做是一种节省代码的机制，但很快子程序就被认可为过程抽象的一种方式。意识到子程序可以作为一种抽象机制，这产生了三个重要结果。
人们发明了一些语言，支持各种参数传递机制
奠定了「结构化程序设计」的基础，语言开始支持嵌套的子程序（如JS的function，Java的inner class）
诞生了「结构化程序设计」，为试图构建大型系统提供了指导，利用子程序作为基本构建块
子程序是最主要过程抽象机制。面向对象语言中的方法与子程序的概念十分相似，不同在于它们的调用以及它们与类或对象关联的方式。
一、子程序的特征
每个子程序只有一个入口
在执行期间，调用程序单位被停止执行，即任意时刻只有一个子程序在执行
子程序执行完毕后，总是将控制返回给调用程序
注：协同程序 和 并发程序 的特征与子程序不同。
二、两种类型的子程序
子程序分为两种类型：过程 和 函数。
过程 是定义参数化技术的语句系列，通过单个调用语句来启动这些计算。过程实际上是定义了新的语句。在Ada中将过程称为procedures，但在Fortran中则将过程称为subroutines。
函数 在结构上模仿了过程，但在语义上却模仿了数学中的函数。如果它是一个纯函数，就不会有副作用。
注：某些编程语义同时提供了过程和函数，如Fortain和Ada；某些如基于C的语言则只有函数。但C中函数的行为却与过程相似，也可以定义这些函数不返回任何值，只要将它们
