COMP 5325 Lenguajes de Programación
Discusión de los conceptos centrales de los lenguajes de programación y cómo se plasman en los lenguajes que siguen determinados paradigmas. Análisis de los lenguajes a la luz de sus modelos semánticos. Aplicación de la semántica operacional estructural, denotacional y axiomática. Estudio en detalle del núcleo del lenguaje Standard ML. Incluye el desarrollo de programas en ese lenguaje y en algún otro lenguaje vigente. Requiere treinta (30) horas de conferencia y quince (15) horas de laboratorio virtual.
Prerequisite
COMP 5110