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
Compilers
1
Cálculo
1
Estrategias
1
Explicit substitutions
1
Higher-order rewriting
1
JavaScript
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
extended static checking
1
models verification
1
strategic term rewriting
1
symbolic execution
1
-
1
-
2
-
3por Bonelli, EduardoMaterias: “...Higher-order rewriting...”
Publicado 2005
Aportado por: SEDICI (UNLP)Articulo