Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Compilers
Ciencias Informáticas
6
Compiladores
3
Theory of computation
3
ANSI C
2
Debuggers
2
Diseño de compiladores
2
Forcing
2
Formalización de matemática
2
ISO/IEC 9899:1999
2
Logic and verification
2
Portabilidad
2
Programación con tipos dependientes
2
Run-time environments
2
Security
2
Software Portability
2
Software and its engineering
2
Software verification
2
Teoría de conjuntos
2
Type Theory
2
ARTIFICIAL INTELLIGENCE
1
Abstract Interpretation
1
Code generation
1
Dynamic programming
1
Educación
1
Estructura de tipos
1
Herramientas de software
1
Interpretación abstracta
1
JavaScript
1
Languages
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
9por Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
10por Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)publishedVersion doctoralThesis -
11por Frias Garay, Alvaro
Publicado 2024Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis