ACUOS2

swMATH31984MaRDI QIDQ43695FDOQ43695

Author name not available (Why is that?)

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

Cited In (11)

• Symbolic computation in Maude: some tapas
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• A library of anti-unification algorithms
• Term-graph anti-unification
• Order-sorted equational generalization algorithm revisited
• Higher-order pattern generalization modulo equational theories
• Debugging Maude programs via runtime assertion checking and trace slicing
• Programming and symbolic computation in Maude
• Optimization of rewrite theories by equational partial evaluation
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: ACUOS2