... en el comedor de la facu.
Repasamos junto con Dani y Diego los avances que hubo en la implementación que estuve haciendo y brevemente cómo seguir.
Por un lado quiero completar la posibilidad de analizar programas con ciclos, con la versión del lenguaje tal como está y a eso me voy a dedicar en el futuro inmediato.
Pero por otra parte el lenguaje está empezando a mostrar las primeras señales de que si no lo definimos formalmente nos va a estallar en la cara en el momento menos deseado.
Así que de acá a un tiempo no muy lejano la idea es definir lo mejor posible tanto el lenguaje intermedio como el de alto nivel (o al menos algunos lineamientos).
Hay que decidir cuestiones como:
Repasamos junto con Dani y Diego los avances que hubo en la implementación que estuve haciendo y brevemente cómo seguir.
Por un lado quiero completar la posibilidad de analizar programas con ciclos, con la versión del lenguaje tal como está y a eso me voy a dedicar en el futuro inmediato.
Pero por otra parte el lenguaje está empezando a mostrar las primeras señales de que si no lo definimos formalmente nos va a estallar en la cara en el momento menos deseado.
Así que de acá a un tiempo no muy lejano la idea es definir lo mejor posible tanto el lenguaje intermedio como el de alto nivel (o al menos algunos lineamientos).
Hay que decidir cuestiones como:
- de qué forma se trabajará la semántica de parámetros,
- qué cosas se asumen como obvias en las post-condiciones (e invariantes) y no son necesarias decir (a = a@pre, b = b@pre, etc...),
- si el lenguaje de alto nivel se traducirá de forma sencilla o también este pasaje al intermedio requiere de análisis "semánticos" y validación de algunas cuestiones usando el demostrador.
- ¡un nombre por favor para el lenguaje alto y el intermedio así podemos hablar entre nosotros y saber a qué nos referimos!
No hay comentarios.:
Publicar un comentario