Cited By
View all- Visser E(2019)A survey of strategies in rule-based program transformation systemsJournal of Symbolic Computation10.1016/j.jsc.2004.12.01140:1(831-873)Online publication date: 3-Jan-2019
- Christensen H(2018)The Ragnarok software development environmentNordic Journal of Computing10.5555/643348.6433506:1(4-21)Online publication date: 21-Dec-2018
- Ponsini OFédèle CKounalis E(2018)Rewriting of imperative programs into logical equationsScience of Computer Programming10.1016/j.scico.2004.10.00156:3(363-401)Online publication date: 31-Dec-2018
- Show More Cited By