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. http://hdl.handle.net/10251/67035