程序的可靠性、可维护性和效率通常由程序设计语言、源代码的质量、和语言的实现机制决定的。