A partial evaluation framework for order-sorted equational programs modulo axioms

• Published in: Journal of logical and algebraic methods in programming Vol. 110; p. 100501
• Main Authors: Alpuente, M., Cuenca-Ortega, A., Escobar, S., Meseguer, J.
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2020

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 ELAN, which support: 1) rich type structures with sorts, subsorts, and overloading...