RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Semántica operacional"

Mostrando ítems 1-3 de 3

Implementación de un intérprete para un modelo concurrente para el análisis de sistemas síncronos

Carrascosa Beltrán, Ángel (Universitat Politècnica de València, 2022-10-18)

[ES] Actualmente, el estudio del comportamiento concurrente de los sistemas es fundamental para poder disponer de herramientas que faciliten el análisis y verificaciones de programas con este tipo de comportamiento. Por ...
Semántica operacional. Evaluación de instrucciones

Villanueva García, Alicia (Universitat Politècnica de València, 2016-07-04)

Se presenta la semántica operacional de paso pequeño de un lenguaje imperativo sencillo.
Un ejemplo de traza de ejecución siguiendo una semántica operacional de paso pequeño

Villanueva García, Alicia (Universitat Politècnica de València, 2016-06-28)

Se presenta un ejemplo de traza de ejecución de un programa sencillo ilustrando la semántica operacional de paso pequeño

Mostrando ítems 1-3 de 3