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 ejecutable"

Mostrando ítems 1-1 de 1

Regression Test-Driven Extension of PLEXIL5: Support for Update Nodes

Moreno Latorre, Jorge (Universitat Politècnica de València, 2023-09-26)

[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...

Mostrando ítems 1-1 de 1