Director
Camilo Rocha Niño

Estudiante
ROMERO GONZALEZ MIGUEL ANGEL

Verificación de invariantes con lógica de reescritura

Alias: VerfInv-LR
Categoría: PGR2

Línea de investigación: Informática, Educación & Conocimiento

Objetivo general: Diseñar una intérprete y una interfaz gráfica para un lenguaje de programación basado en Spatial Concurrent Constraint Programming (SCCP)

Objetivo específico: Diseñar la sintaxis de un lenguaje de programación basado en SCCP. ii) Diseñar una teoría de reescritura como intérprete formal del lenguaje. iii) Diseñar e implementar una interfaz gráfica para el lenguaje y el intérprete.

Logros:

  • Se diseñó el lenguaje de programación.
  • Se diseño e implementó la teoría de reescritura en Maude.
  • Se diseñó e implementó una interfaz gráfica para el lenguaje de programación.