Программа для компьютеров представляет собой последовательность характеристик, которые предназначены для осуществления аппаратом процесса управления устройством. Зачастую образ программы применяется в форме отдельного файла. Исполняемая программа имеет возможность строиться загрузчиком программ. Характеристики программы записываются, благодаря машинному коду. Имея зависимость от контекста, данное определение имеет отношение к исходным текстам, благодаря которым проводится запись программы.

Время процесса составления программ для компьютеров имеет имя программирования, а человека, который занимается данной разновидностью деятельности, именуют программистом. Процесс записи программ с помощью языков программирования является удобным для проведения редактирования людьми. Этому часто может помочь применение комментариев, которое используется в синтаксисе большей части языков. Для проведения на ПК подготовленная программа может преобразовываться в осуществляемый режим.

В современный период времени языки программирования дают возможность не использовать предварительную компиляцию программы и проводить ее переводы в характеристики кода в течение ее исполнения. Данный процесс именуется интерпретацией и дает возможность осуществить перенос программ между разными платформами, а еще не использовать хранения осуществляемых файлов.

Большая часть программ для компьютеров имеет в своем составе список инструкций, которые описывают алгоритм; данные программы именуются "императивными". Альтернативной вариацией можно назвать процесс описания в программе необходимых параметров обрабатываемой информации и предоставление возможности алгоритма ПК или какой-либо другой программы. Данный подход называют декларативным программированием.

Большая часть владельцев ПК применяют программы, которые имеют предназначение для осуществления определенных прикладных задач, к примеру, оформление документов, обработка иллюстраций и так далее. Такие программные характеристики именуют прикладными программами.