GLINTS

MaRDI QIDQ56328swMATHFDO

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

Cited in

(9)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• ChC 3
• MTT
• ABETS
• ACUOS2
• Mau-Dev
• Symbolic analysis of Maude theories with Narval
• Optimization of rewrite theories by equational partial evaluation
• SEViz

This page was built for software: GLINTS