- -

Browsing by Subject "Offline partial evaluation"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Subject "Offline partial evaluation"

Sort by: Order: Results:

  • thumb
    A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms 
    Alpuente Frasnedo, María; Cuenca-Ortega, Angel Eduardo; Escobar Román, Santiago; Meseguer, José (Elsevier, 2020-01)
    [EN] Partial evaluation is a powerful and general program optimization technique with many successful applications. Existing PE schemes do not apply to expressive rule-based languages like Maude, CafeOBJ, OBJ, ASF+SDF, and ...
  • thumb
    OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING 
    Arroyo Delgado, Gustavo (Universitat Politècnica de València, 2011-11-04)
    Este trabajo presenta un nuevo esquema para la evaluación parcial de programas lógico funcionales siguiendo el esquema conocido como "offline". La principal novedad se basa en el uso de un análisis de cambio de tamaño para ...