Мы определили функцию main так, чтобы она возвращала значение типа int, и указали void в скобках; это значит, она не принимает никаких аргументов. Тип int — это знаковый целочисленный тип, который можно использовать для представления как положительных, так и отрицательных целых значений (а также 0). По аналогии с другими процедурными языками программы на C состоят из процедур (называемых функциями), которые могут принимать аргументы и возвращать значения. Каждую функцию можно вызывать столько раз, сколько потребуется.
Язык C имеет две потенциальные среды выполнения: минимальную (freestanding) и полноценную (hosted)
Реализация в терминологии стандарта C обозначает компилятор и имеет следующее определение:
«Определенный набор программного обеспечения, работающий в конкретной среде трансляции с определенными управляющими параметрами и отвечающий за трансляцию программ для конкретной среды выполнения с поддержкой работы функций».