Reseña: Certifying compilers using higher-order theorem provers as certificate checkers
Jan Olaf Blech y Benjamin Grégoire han publicado el artículo Certifying compilers using higher-order theorem provers as certificate checkers en la revista Formal Methods in System Design.
El resumen del artículo es
Read More “Reseña: Certifying compilers using higher-order theorem provers as certificate checkers”