Продукт программы – структура, построенная программой при её выполнении, её выходные данные.

При разных выполнениях программа строит физически разные продукты, которые всегда реальны и конкретны. В области промышленных компьютеров продукт программы обычно рассматривается как некоторый массив битов, установленных в 0 или 1. Но, как и в случае с материалом программы, это абстракция: на самом деле продуктом программы в современных компьютерах является набор заряженных или разряженных конденсаторов (в случае DRAM) или переключенных в то или другое направление триггеров (в случае SRAM), а в компьютерах другого типа (например, биологических) физическая природа продукта будет другой, и может отсутствовать даже двоичная организация (которую можно было бы интерпретировать как 0 или 1), а вместо неё присутствовать какая-то другая организация.

При одном выполнении программа создает такой конкретный массив физических объектов – конкретный свой продукт. Но если рассматривать собственно программу, а не отдельные её выполнения, то продукт её становится абстрактным, потенциальным. Потенциальные продукты программ играют чрезвычайную роль в теории интеллекта.