ACUOS2

swMATH31984MaRDI QIDQ43695

No author found.

Described by source

• \({\mathsf{ACUOS}}^\mathbf{2}\): a high-performance system for modular ACU generalization with subtyping and inheritance
• ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance

Related Items (11)

Order-sorted equational generalization algorithm revisited ⋮ A Library of Anti-unification Algorithms ⋮ Optimization of rewrite theories by equational partial evaluation ⋮ Algebraic Reinforcement Learning ⋮ Term-Graph Anti-Unification ⋮ Higher-order pattern generalization modulo equational theories ⋮ Programming and symbolic computation in Maude ⋮ A partial evaluation framework for order-sorted equational programs modulo axioms ⋮ Debugging Maude programs via runtime assertion checking and trace slicing ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) ⋮ Symbolic computation in Maude: some tapas

This page was built for software: ACUOS2