Optimization of rewrite theories by equational partial evaluation

• Published in: Journal of logical and algebraic methods in programming Vol. 124; p. 100729
• Main Authors: Alpuente, M., Ballis, D., Escobar, S., Sapiña, J.
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2022

In this paper, we develop an automated optimization framework for rewrite theories that supports sorts, subsort overloading, equations and algebraic axioms with free/non-free constructors, and rewrite rules modeling concurrent system transitions whose state structure is defined by means of the equat...