- -
UPV
 

La Semántica Axiomática de los Lenguajes de Programación

Silva Galiana, Josep Francesc; Este objeto de aprendizaje define la semántica axiomática de los lenguajes de programación. Explica para qué sirve esa semántica y muestra un ejemplo de semántica operacional real (para un lenguaje imperativo simple). También se propone un ejercicio para realizar, que se soluciona en el propio video. La Semántica Axiomática de los Lenguajes de Programación http://hdl.handle.net/10251/145772


EMAS upv