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