程序库(library),一个可供使用的各种标准程序、子程序、文件以及它们的目录等信息的有序集合。汇集在一起的经常应用的程序。主要有：(1)标准子程序。如三角函数、反三角函数等子程序。(2)标准程序。实现一些常用的计算方法，如解常微分方程、偏微分方程、数值积分等程序。(3)服务性程序。如复制卡片、磁带、磁盘及调试用的各种程序等。程序库中的程序都是规范化的。所谓规范化有三重含义：① 同一库里所有程序的格式是统一的；② 对这些程序的调用方法是相同的；③ 每个程序所需参数的数目、顺序和类型都是严格规定好的。