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
• Order-sorted equational generalization algorithm revisited
• Higher-order pattern generalization modulo equational theories
• Algebraic Reinforcement Learning
• Debugging Maude programs via runtime assertion checking and trace slicing
• A Library of Anti-unification Algorithms
• Programming and symbolic computation in Maude
• Optimization of rewrite theories by equational partial evaluation
• Term-Graph Anti-Unification
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: ACUOS2