出处：按学科分类—社会科学总论 河北人民出版社《新技术革命辞典》第85页（188字）
一些经常使用，经过检验的规范化程序或子程序的集合。
程序库可分为通用程序库和专用程序库。经常使用的，如开方、三角函数、指数和对数函数、代数方程、微分方程和积分方程的求解程序等构成通用程序库；一些具有专门用途的应用程序，如记帐、货单、工资计算等构成专用程序库。
通常这些程序或文卷记录在磁带或磁盘等辅助存储器上面，可供用户随时调用。