Otras generalidades

C es un lenguaje estructurado

Es decir, utiliza bloques. Un bloque es un conjunto de sentencias relacionadas. La idea de subrutinas y variables locales sólo puede ser posible en un lenguaje estructurado.

Incluso es factible compilar por separado las rutinas, sin necesidad de que formen parte del programa -pero pudiéndose referenciar. Y es ése el concepto de librería-, de tal manera que se puedan crear librerías con funciones útiles a las que se puedan acceder desde cualquier otro programa por escribir.

Compilador

A diferencia de los lenguajes interpretados, en C es un compilador el que genera el código objeto (también código binaro, o código máquina: ceros y unos, pues) a partir del código fuente. Esto es: traducir de una vez y para siempre las instrucciones del programador, entendibles por el humano, a instrucciones que el ordenador ejecute. Después de esto, el código fuente no tiene relevancia sobre la ejecución de un programa, pudiéndose alterar sin consecuencias para el código objeto.

A menudo se utilizan los términos tiempo de compilación y tiempo de ejecución. Se refiere a tiempo de compilación cuando se trata de procesos que ocurren al compilar (normalmente, cuando el compilador revela errores sintácticos u otros). Se refiere a tiempo de ejecucuón al tratarse de lo que ocurra cuando el programa se está ejecutando (y es aquí cuando es posible distinguir fallos lógicos en el programa).

Para investigar:

-Lenguaje estructurado y lenguaje interpretado
-Intérprete y compilador