程序的基本性质主要包括以下几点：
有穷性：
程序的操作步骤是有限的，不能是无限的。
确定性：
程序中的每一个步骤都要有确切的定义，不能含糊不清。
输入：
程序需要输入数据，即执行算法所需的条件或数据。
输出：
程序需要产生输出结果，即解决特定问题后的输出信息。
有效性：
程序的执行过程必须有效，不能出现异常或错误。
此外，现代程序还具有以下基本属性：
科学性：程序的设计和实现应基于科学的方法和理论。
合理性：程序的逻辑和行为应符合逻辑和常识。
正当性：程序的设计和实现应遵循道德和法律规范。
分析性：程序应能够分析问题并找到解决方案。
秩序性：程序的步骤和结构应有良好的组织顺序。
形式性：程序应具有明确的形式化定义。
明确性：程序的指令和步骤应明确无误。
人为性：程序的设计和实现需要人的参与和决策。
这些性质和属性共同构成了程序的基本框架，确保程序能够有效地解决问题并适应不同的环境和需求。