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

Descripción
Sumario:	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.