TY  - THES
AU  - Calvarro Marines, Mario
A3  - Rubio Gimeno, Alberto
A3  - Rodríguez Núñez, Clara (Col.)
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/124722
AB  - Este proyecto expande el compilador de CIRCOM mediante la introducción de una Representación Intermedia (IR) de la Máquina Virtual de CIRCOM (CVM), basada en un Grafo de Control del Flujo (CFG) construido directamente en forma de Asignación Única...
AB  - This project enhances the CIRCOM compiler by introducing an Intermediate Representation of the CIRCOM Virtual Machine (CVM) based on a Control Flow Graph constructed in Static Single Assignment (SSA) form. CIRCOM is a domain-specific language for...
LA  - eng
KW  - CIRCOM
KW  - Diseño de compiladores
KW  - Representación intermedia
KW  - Máquina virtual
KW  - Asignación única estática
KW  - Grafo de flujo de control
KW  - Análisis de vivacidad
KW  - Rust
KW  - Pruebas de conocimiento cero
KW  - Optimización de programas
KW  - Compiler Design
KW  - Intermediate Representation
KW  - Virtual Machine
KW  - Static Single Assignment
KW  - Control Flow Graph
KW  - Liveness Analysis
KW  - Rust
KW  - Zero-knowledge proofs
KW  - Program optimization
TI  - Incorporación de la forma SSA a la máquina virtual de CIRCOM
M3  - bachelor thesis
ER  -