Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Interpreter"

Mostrando ítems 1-5 de 5

Diseño e implementación de una herramienta para visualizar la ejecución de un programa Prolog

Talens Ferrer, Pascual José (Universitat Politècnica de València, 2022-09-15)

[ES] El presente documento presenta el desarrollo de una interfaz Java que, junto con un intérprete Prolog integrado, permite visualizar una explicación de la ejecución de este tipo de programas lógicos. Para utilizar ...
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 ...
Intérprete de ficheros de tacógrafo digital

Fenollosa Garés, Miriam (Universitat Politècnica de València, 2018-10-11)

[ES] Este trabajo consiste en realizar una aplicación capaz de interpretar ficheros binarios de tacógrafo digital, resultado de la descarga de las tarjetas de los conductores, para una empresa especializada en el transporte ...
Regression Test-Driven Extension of PLEXIL5: Support for Arrays

Jiménez Martí, Alejandro (Universitat Politècnica de València, 2023-09-27)

[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 ...
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-5 de 5

Listar por palabra clave "Interpreter"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Interpreter"