7 citations · 25 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Inspecting Maude Variants with GLINTS
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar +1
This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated…
cs.PL2017
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, Santiago Escobar
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 20…