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.
Ciencias Informáticas
5
Languages
procesadores de lenguajes
2
Compilador Certificante
1
Código Móvil
1
Código Móvil Seguro
1
Códigos
1
Lenguajes de programación
1
Parallel programming
1
Programming languages
1
SOFTWARE ENGINEERING
1
Teoría de Tipos
1
Theory of Computation
1
análisis estático
1
certificación de código
1
compiladores certificantes
1
compilers
1
código móvil seguro
1
proof-carrying code
1
resources awareness
1
type systems
1
typed assembly languages
1
verificación de código
1
-
1por Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, Johanna
Publicado 2005Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Bavera, Francisco, Nordio, Martín, Aguirre, Jorge, Arroyo, Marcelo, Baum, Gabriel Alfredo, Medel, Ricardo
Publicado 2004Aportado por: SEDICI (UNLP)Objeto de conferencia -
3por Aguirre, Jorge, Medel, Ricardo, Arroyo, Marcelo, Florio, Nicolás, Bavera, Francisco, Caymes Scutari, Paola, Nordio, D.
Publicado 2003Aportado por: SEDICI (UNLP)Objeto de conferencia -
4
-
5por Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Publicado 2003Aportado por: SEDICI (UNLP)Objeto de conferencia