Una herramienta para chequeo de tipos en Assembly X86

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.

Guardado en:
Detalles Bibliográficos
Autor principal: Frias Garay, Alvaro
Otros Autores: Wolovick, Nicolás
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2024
Materias:
Teoría de la computación
Semántica y razonamiento
Estructura de tipos
Interpretación abstracta
Sistema de tipos
Compiladores
Lenguajes
Herramientas de software
Theory of computation
Semantics and reasoning
Program constructs
Abstract Interpretation
Compilers
Languages
Software testing tools
X86 Assembly
Acceso en línea:http://hdl.handle.net/11086/551748
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares