Tagging, encoding, and jones optimality

A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modulo renaming. Jones optimality has already been obtained if the self-interpreter is untyped. If the selfinterpreter is ty...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Danvy, Olivier, Martínez López, Pablo E.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Informática
Jones optimality
self-interpreter
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/134244
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares