TY  - THES
AU  - Morales Palacios, Rafael
A3  - Fábregas Alfaro, Ignacio
A3  - Rubio Cuéllar, Rubén Rafael
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/125016
AB  - WebAssembly (Wasm) is a low-level programming language designed, at first, to improve the performance of web applications. Through the years, it has gained popularity in several other fields, including Internet of Things, edge computing, and smart...
AB  - WebAssembly (Wasm) es un lenguaje de programación de bajo nivel diseñado, en un principio, para mejorar el rendimiento de aplicaciones web. A lo largo de los años, ha ganado popularidad en diferentes campos, incluyendo el Internet de las Cosas, la...
LA  - eng
KW  - Semantics
KW  - WebAssembly
KW  - Maude
KW  - Formal methods
KW  - Software specification
KW  - Software verification
KW  - Rewriting logic
KW  - Semántica
KW  - Métodos formales
KW  - Especificación de software
KW  - Verificación de software
KW  - Lógica de reescritura
TI  - Semántica de WebAssembly en Maude
M3  - master thesis
ER  -