RiuNet repositorio UPV
:
Listar por autor

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Cuenca Ortega, Angel Eduardo"

Mostrando ítems 1-2 de 2

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 ...
Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms

Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Meseguer, José (IOS Press, 2020)

[EN] The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been ...

Mostrando ítems 1-2 de 2