Sesión 3. Partial evaluation and context-sensitive rewriting
Listado de artículos correspondientes a la sesión:
- Partial Evaluation of Order-sorted Equational Programs modulo Axioms (Trabajo de alto nivel)
María Alpuente / Angel Cuenca-Ortega / Santiago Escobar / José Meseguer / - Some applications of context-sensitive rewriting (Tutorial)
Salvador Lucas /