编写程序是以下步骤的一个往复过程：编写新的源代码，测试、分析和提高新编写的代码以找出语法和语义错误。从事这种工作的人叫做程序设计员。由于计算机的飞速发展，编程的要求和种类也日趋多样，由此产生了不同种类的程序设计员，每一种都有更细致的分工和任务。软件工程师和系统分析员就是两个例子。
……

     算法指解决某个问题的严格方法，通常还需辅以某种程度上的运行性能分析。算法可以是纯理论的，也可以由一个计算机程序实现。理论算法通常根据复杂性分为不同类别；实现的算法通常经过颇析(Profiling)以测试其性能。请注意虽然一个算法在理论上有效可行，但是一个糟糕的实现仍会浪费宝贵的计算机资源。（更详细信息，参见算法信息论，Algorithmic Information Theory）

      程序已经被定义了。如何定义数据呢？数据可以被定义为被程序处理的信息。当我们考虑到整个计算机系统时，有时程序和数据的区别就不是那么明显了。中央处理器有时有一组微指令控制硬件，数据可以是一个有待执行的程序（参见脚本编程语言），程序可以编写成去编写其它的程序；所有这些例子都使程序和数据的比较成为一种视角的选择。有人甚至断言程序和数据没有区别。

   在一台基于最常见的冯诺依曼体系结构(又称Harvard Architecture)的计算机上，程序从某种外部设备，通常是硬盘，被加载到计算机里。 如果计算机选择冯诺依曼体系结构，那么程序就被加载入内存。 指令序列顺序执行，直到一条跳转或转移指令被执行，或者一个中断出现。所有这些指令都会改变指令寄存器的内容。

      基于这种体系计算机如果没有程序的支持将无法工作。一个计算机程序是一系列指令的集合。

      为了一个程序运行，计算机加载程序代码，可能还要加载数据，从而初始化成一个开始状态，然后调用某种启动机制。在最低层上，这些是由一个引导序列开始的。