\({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
From MaRDI portal
Publication:2296704
DOI10.1007/978-3-030-19570-0_11OpenAlexW2944442547MaRDI QIDQ2296704
María Alpuente, Santiago Escobar, José Meseguer, A. Cuenca-Ortega, Demis Ballis
Publication date: 18 February 2020
Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_11
Related Items (10)
Order-sorted equational generalization algorithm revisited ⋮ Optimization of rewrite theories by equational partial evaluation ⋮ Symbolic Specialization of Rewriting Logic Theories with Presto ⋮ Higher-order pattern generalization modulo equational theories ⋮ Programming and symbolic computation in Maude ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ A Generic Framework for Higher-Order Generalizations. ⋮ ACUOS2 ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) ⋮ Symbolic computation in Maude: some tapas
Uses Software
This page was built for publication: \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
