Una aproximación offline a la evaluación parcial dirigida por narrowing

Una aproximación offline a la evaluación parcial dirigida por narrowing

La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes declarativos (lógico) funcionales como Haskell, Curry o Toy. Los evaluadore...

Full description

Bibliographic Details
Main Author: Ramos Díaz, J. Guadalupe
Other Authors: Vidal Oriola, Germán Francisco
Format: Doctoral Thesis
Language:Spanish
Published: Universitat Politècnica de València 2008
Subjects:
Especialización
Optimización
Narrowing
Transformación
Cuasi-terminación
Curry
Npe
Bta
Terminación
Size-change graphs
Evaluación parcial offline
Compilación de intérpretes
Lenguajes de dominio específico
Lenguajes empotrados de domino específico
Lenguajes lógico funcionales
LENGUAJES Y SISTEMAS INFORMATICOS
12 - Matemáticas
1202 - Análisis y análisis funcional
Online Access:http://hdl.handle.net/10251/1888

Internet

http://hdl.handle.net/10251/1888

Similar Items