子程序（subprogram） 是一个能够完成一定功能的程序模块，它自身不能自动执行，而只能靠上一级程序调用执行。在结构化程序设计中，子程序是实现整个程序功能的基础。子程序的执行至少包含调用及返回两个步骤。
子程序可以包括过程、函数、子例程等，它们通常包括定义和调用两个方面：
定义：
定义子程序算法，即如何完成特定功能的详细描述。
调用：
在程序中需要使用该子程序时，通过调用语句来执行它，并在完成特定功能后返回控制给调用者。
子程序的使用可以提高编程的效率和代码的可读性，特别是在需要多次使用相同功能的场景中。例如，在数控编程中，子程序可以用于实现各种功能，如计算、控制输出、变换坐标系统等。