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
JavaScript
2
extended static checking
2
models verification
2
strategic term rewriting
2
symbolic execution
2
Compilers
1
Cálculo
1
Estrategias
1
Explicit substitutions
1
Grammars and Other Rewriting Systems
1
Higher-order rewriting
1
Lamda calculus
1
Macros
1
Meta-programming
1
Needed-strategies
1
Normalisation
1
Normalización
1
Performance
1
Rewriting
1
Substituciones explícitas
1
Text analysis
1
abstract model verification
1
análisis de trazos
1
compiler
1
grafología
1
meta-programming
1
perfiles residuales
1
performance
1
presión del trazo
1
-
1
-
2
-
3
-
4
-
5Materias: “...Grammars and Other Rewriting Systems...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
6por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo