TY  - THES
AU  - Burillo Elmaleh, Adrián
A3  - Riesco Rodríguez, Adrián
A3  - Riesco Rodríguez, Adrián
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/88431
AB  - En este trabajo se ha utilizado el lenguaje Maude para especificar la sintaxis de Vyper y desarrollar un sistema de entrada/salida, en el que el usuario elige los contratos y las funciones a ejecutar con el objetivo de devolverle la salida de cada...
AB  - In this work, the Maude language has been used to specify the syntax of Vyper and to develop an input/output system, in which the user chooses the contracts and the functions to be executed with the aim of returning the output of each execution and...
LA  - spa
KW  - Vyper
KW  - Maude
KW  - Contrato inteligente
KW  - Especificación
KW  - Cadena de bloques
KW  - Meta-nivel
KW  - Ethereum
KW  - Sintaxis
KW  - Smart Contract
KW  - Specification
KW  - Blockchain
KW  - Meta-level
KW  - Syntax
TI  - Especificación de Vyper en Maude
T2  - Specification of Vyper in Maude
M3  - master thesis
ER  -