library - 程序库

英文： Library
中文： 程序库
介绍： 一个可供使用的各种标准程序、子程序、文件以及它们的目录等信息的有序集合， 汇集在一起的经常应用的程序。主要有：

1. 标准程序： 实现一些常用的计算方法，如解常微分方程、偏微分方程、数值积分等程序。
2. 标准子程序： 如三角函数、反三角函数等子程序。
3. 服务性程序： 如复制卡片、磁带、磁盘及调试用的各种程序等。

程序库里的程序必须是经常使用的，如开方、三角函数、指数和对数函数、代数方程、微分方程和积分方程的求解程序等。这些程序往往被收入程序库中，构成通用程序库。另有一些具有专门用途的应用程序，如计帐、货单、工资计算等，可以构成专用程序库。只有经过严格检验的程序才能放在程序库里。检验，就是对程序作充分的测试。通常进行的有正确性测试、精度测试、速度测试、边界条件和出错状态的测试。经过检验的程序不但能保证计算结果的正确性，而且对错误调用也能作出反应。程序库中的程序都是规范化的。程序库中的程序都是规范化的。所谓规范化有三重含义：

1. 同一库里所有程序的格式是统一的
2. 对这些程序的调用方法是相同的
3. 每个程序所需参数的数目、顺序和类型都是严格规定好的

程序库通常以文卷方式保存在各种存储设备上，最常见的是放在磁盘或磁带中。程序库必须具有完整的使用说明供用户查询，以便正确地调用库中的程序。使用说明一般包括程序名、程序功能、变量表、调用方式、结果格式、计算精度和速度的说明、错误信息报告以及算法和例题等。