El presente trabajo es una adaptación del libro de T. Nipkow y G. Klein Concrete Semantics with Isabelle/HOL y su curso Semantics of Programming Languages (2016/17) con vista a su uso en la próxima edición del curso de Razonamiento automático del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla.
jaalonso / slp Goto Github PK
View Code? Open in Web Editor NEWSemánticas de lenguajes de programación formalizadas en Isabelle/HOL
License: GNU General Public License v3.0