El lenguaje Ada ⌨️ 📆: Miercoles 15 de Abril ⏱: 13:00 - 14:00 📍: Aula 5 ¡Ven y descubre el lenguaje qu

El lenguaje Ada ⌨️

📆: Miercoles 15 de Abril
⏱: 13:00 - 14:00
📍: Aula 5

¡Ven y descubre el lenguaje que llevan todos los chips de NVIDIA, controla el tráfico aéreo, corre múltiples tareas en sistemas empotrados y nos permite verificar formalmente su funcionamiento! El lenguaje de programación Ada fue creado para los sistemas de más alta calidad y críticos. Hoy en día está resurgiendo de nuevo gracias a su uso en NVIDIA, en su sintaxis limpia y clara, y por SPARK, el sistema de verificación que detecta todo tipo de bugs antes de compilar el código. En una hora veremos la historia de este lenguaje, lo que le hace tan único, cómo empezar a programar en él y hasta las nuevas funcionalidades de Ada 2022.