APL Materials: Impulsando la confianza en el software con verificación formal

APL Materials / Impulsando la confianza en el software con verificación formal
Información del evento:

En este nuevo evento de FP Madrid, el lenguaje de programación APL y la verificación formal serán los protagonistas. Jesús Galán y David Mazarro, que hablarán en inglés y en español, respectivamente, nos introducirán a estas tecnologías y técnicas, dando contexto sobre su aplicación en el mundo real.

El testing puede ayudarte a descartar ciertos bugs en tu software, pero en general no es capaz de asegurar que tu software se comporta exactamente como esperas. Cuando necesitas ese elevado grado de confianza en el software, ¡la verificación formal entra en juego! Esta charla es una introducción a la verificación formal, y no requiere de conocimientos particulares de programación funcional, el único prerrequisito es estar familiarizado con programación en general para seguir algunos de los ejemplos que se muestran en la charla.

Agenda APL Materials

18:30 Registration & Welcome
18:45 Jesús Galán (Dyalog) APL Materials
19:30 David Mazarro (Stack Builders) Impulsando la confianza en el software con la verificación formal
20:15 Networking

APL es un lenguaje de programación. También es una alternativa a la notación matemática, y una herramienta de pensamiento. Además ha sido la principal inspiración de la programación funcional, NumPy o Matlab, por poner algunos ejemplos. Además, APL se produce en todo tipo de ámbitos desde hace más de 50 años. En esta charla, aprenderemos sobre APL, su historia y algunas aplicaciones reales, incluidos compiladores autohospedados, modelos físicos para investigación metalúrgica y software financiero líder en la industria.

No te pierdas esta oportunidad de descubrir más sobre el lenguaje de programación APL. ¡Te esperamos!

Inscríbete AQUÍ.

Nos vemos el martes 18 de febrero de 18:30 a 20:30 en nuestro centro de iLab.