Computación y programación funcional. Camilo Chacón Sartori

Al final, el sistema operativo es un programa sofisticado con múltiples componentes que asegura mantener un orden en todos los procesos que se ejecutan. Esto viene dado por la prioridad que este le haya asignado según los recursos disponibles del ordenador, por ejemplo: memoria RAM, espacio de disco y los núcleos libres del CPU.

      Para ahondar en la pieza más importante dentro de las tecnologías de computación y que tiene un rol protagonista en la implementación, dedicaremos el siguiente capítulo a los lenguajes de programación.

      _________________

6 Leslie Lamport es un ganador del Turing Award (equivalente al Nobel en ciencias de la computación, entregado por ACM en el 2013), por sus aportes a los sistemas concurrentes y distribuidos.

7 Invariante es el concepto fundamental en la verificación formal, nos permite comprobar si una expresión lógica mantiene su estado después de un conjunto de transformaciones.

8 https://www.microsoft.com/en-us/research/project/boogie-an-intermediate-verification-language [revisado en junio del 2020].

9 http://why3.lri.fr [revisado en junio del 2020].

10 https://learntla.com/introduction/ [revisado en junio del 2020].

11 https://coq.inria.fr/ [revisado en junio del 2020].