GLINTS

swMATH40628MaRDI QIDQ56328FDOQ56328

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: GLINTS