共 50 条
- [41] Deriving Efficient Program Transformations from Rewrite Rules PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5
- [44] Model-Driven Software Development with Graph Transformations: A Comparative Case Study APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2008, 5088 : 345 - 360
- [50] Termination of curryfied rewrite systems RECENT TRENDS IN DATA TYPE SPECIFICATION, 1996, 1130 : 322 - 341