ACUOS2

MaRDI QIDQ43695swMATHFDO

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)

• CloneDigger
• 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
• ChC 3
• SCC
• iJulienne
• Web-TLR
• aleanTAP
• Anima
• Programming and symbolic computation in Maude
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Maude-NPA
• Optimization of rewrite theories by equational partial evaluation
• A library of anti-unification algorithms
• Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
• TAMARIN
• Term-graph anti-unification
• Higher-order pattern generalization modulo equational theories
• GLINTS
• Getafix
• Debugging Maude programs via runtime assertion checking and trace slicing

This page was built for software: ACUOS2