RiuNet UPV Home
:
Browsing by Author

Search RiuNet

Browse

All of RiuNet

My Account

Login

RiuNet Help

Admin. UPV

Browsing by Author "Cuenca Ortega, Angel Eduardo"

Now showing items 1-2 of 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 ...

Now showing items 1-2 of 2