子程序

能被其他程序调用，在实现某种功能后能自动返回到调用程序去的程序。其最后一条指令一定是返回指令，故能保证重新返回到调用它的程序中去。也可调用其他子程序，甚至可自身调用。

子程序在计算机科学中是一个大型程序中的某部份代码，由一个或多个语句块组成。 它负责完成某项特定任务，而且相较于其他代码，具备相对的独立性。一般程序设计语言包含两种基本的抽象：过程抽象和数据抽象。过程抽象有时也称控制抽象。子程序是最主要的过程抽象机制。