Semántica operacional. Evaluación de instrucciones

Se presenta la semántica operacional de paso pequeño de un lenguaje imperativo sencillo. Villanueva García, A. (2016). Semántica operacional. Evaluación de instrucciones. https://riunet.upv.es/handle/10251/67035 DER