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
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
abstract model verification
1
compiler
1
meta-programming
1
performance
1
rewriting
1
-
1
-
2
-
3
-
4
-
5por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo