ACUOS^2: a high-performance system for modular ACU generalization with subtyping and inheritance

DOI10.1007/978-3-030-19570-0_11MaRDI QIDQ2296704zbMATH OpenOpenAlexFDO

Authors María Alpuente, A. Cuenca-Ortega, Santiago Escobar, José Meseguer, D. Ballis

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_11

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• ACUOS: a system for modular ACU generalization with subtyping and inheritance
• A modular order-sorted equational generalization algorithm
• AC unification through order-sorted AC1 unification
• AC unification through order-sorted AC1 unification
• Order-sorted equational generalization algorithm revisited

Cited in

(11)

• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
• Symbolic computation in Maude: some tapas
• Order-sorted equational generalization algorithm revisited
• Programming and symbolic computation in Maude
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Optimization of rewrite theories by equational partial evaluation
• ACUOS2
• A Generic Framework for Higher-Order Generalizations.
• Higher-order pattern generalization modulo equational theories
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Equational anti-unification over absorption theories

Describes a project that uses

Uses Software

• Maude

This page was built for publication: \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2296704)