compilation

Emmanuel Gunther, 2016-06-15: “Formalización de un framework algebraico para la traducción correcta de lenguajes”.

Next Wednesday, Emmanuel Gunther (FaMAF-UNC) will talk about an application of Universal Algebra to the proof of correctness of a compiler. Título: Formalización de un framework algebraico para la traducción correcta de lenguajes. Resumen: Traducir correctamente expresiones de dos lenguajes distintos es una tarea…