计算机程序是指由计算机能够识别和执行的一组指令，它具有以下几个性质：

1. 可读性：计算机程序应该易于阅读和理解，以便程序员能够快速有效地维护和修改程序。因此，在编写程序时，应该遵循良好的代码风格和注释规范，使程序易于理解。

2. 可靠性：计算机程序应该具有高度的可靠性，即在任何情况下都能正确地执行所需的操作。为了确保程序的可靠性，程序员需要仔细考虑程序的各种情况和可能的错误情况，并采取相应的措施来避免或纠正这些错误。

3. 可维护性：计算机程序应该易于维护，即在程序运行过程中，程序员应该能够轻松地进行修改和更新。为了实现程序的可维护性，程序员需要使用模块化编程技术，编写可重用的代码和库，并使用版本控制工具来跟踪程序的变化。

4. 可扩展性：计算机程序应该具有高度的可扩展性，即程序应该能够适应不同的需求和环境。为了实现程序的可扩展性，程序员需要使用抽象化和多态的编程技术，使程序能够适应不同的数据类型和算法。

5. 可移植性：计算机程序应该易于移植，即程序应该能够在不同的计算机和操作系统上运行。为了实现程序的可移植性，程序员需要使用标准化的编程语言和库，避免使用特定于平台的代码和命令。

综上所述，计算机程序的可读性、可靠性、可维护性、可扩展性和可移植性是构建高质量程序的关键性质。