Abstracción Funcional en Pascal

La abstracción funcional consiste en crear procedimientos y funciones e invocarlos mediante su nombre, teniendo en cuenta únicamente lo que realiza y no como lo realiza.

Subprograma: Módulo que realiza una tarea determinada. Suelen ser llamadas a funciones o procedimientos.
Función: Calcula un resultado y lo devuelve (La función debe ser de un tipo de datos determinado, que será el tipo de datos del resultado obtenido).
Procedimiento: Realiza una tarea específica sin devolver nada.

Al invocar los subprogramas se les pueden pasar parámetros.
Parámetros actuales: Son los que aparecen en la invocación de un módulo.
Parámetros formales: Son los que aparecen el la declaración de un subprograma.
Paso de parámetros por valor: Se consideran variables locales (se crea una copia), por lo que los cambios realizados en el parámetro no afectan al valor del parámetro actual).
Paso de parámetros por referencia: Se consideran variables globales, por lo que los cambios en el parámetro afectarán al valor del parámetro actual.

Recursividad: Esto se consigue llamando a un subprograma desde el mismo subprograma, pero en cada llamada los parámetros actuales son distintos.
Sobrecarga: Para hacer una sobrecarga de funciones hay que declarar dos o más funciones con el mismo nombre pero cambiando los parámetros (sino daría error de compilación).