ACUOS2

swMATH31984MaRDI QIDQ43695FDOQ43695

Author name not available (Why is that?)

Official website: http://safe-tools.dsic.upv.es/acuos2/

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 (22)

• 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
• CloneDigger
• ChC 3
• aleanTAP
• iJulienne
• Anima
• SCC
• Web-TLR
• Maude-NPA
• Programming and symbolic computation in Maude
• TAMARIN
• Optimization of rewrite theories by equational partial evaluation
• GLINTS
• Getafix
• Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for software: ACUOS2