|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
142
|
Proving and applying program transformations expressed with second-order patterns
– G P Huet, B Lang
- 1978
|
|
2
|
Program transformation by templates: A rewriting framework
– Y Chiba, T Aoto, Y Toyama
- 2006
|
|
11
|
Future Directions In Program Transformations
– R. Paige
- 1997
|
|
14
|
Higher-order Matching for Program Transformation
– Oege De Moor, Ganesh Sittampalam
- 1999
|
|
102
|
Program Transformation Systems
– H Partsch, R Steinbrüggen
- 1983
|
|
533
|
A Transformation System for Developing Recursive Programs
– R. M. Burstall, John Darlington
- 1977
|
|
2
|
Deterministic Second-order Patterns
– Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
- 2004
|
|
1
|
RAPT: A program transformation system based on term rewriting
– Yuki Chiba, Takahito Aoto, Yoshihito Toyama
- 2006
|
|
1
|
is a member of IPSJ Takahito Aoto received his M.S. and Ph.D. from Japan Advanced Institute for Science and Technology (JAIST). He was at JAIST from 1997 to 1998 as an associate, at Gunma University from 1998 to 2002 as an assistant professor, and at Toho
– He
|
|
1
|
received his B.E. from Niigata University
– Yoshihito Toyama
|
|
19
|
Efficient Second-Order Matching
– Régis Curien, Zhenyu Qian, Hui Shi
- 1996
|
|
428
|
A note on inductive generalization
– G D Plotkin
- 1970
|
|
4
|
How to prove equivalence of term rewriting systems without induction
– Y Toyama
- 1991
|
|
3
|
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs ∗ (extended abstract)
– Takahito Aoto, Toshiyuki Yamada
|
|
11
|
Dependency pairs for simply typed term rewriting
– T Aoto, T Yamada
- 2005
|
|
6
|
Termination of simply typed term rewriting systems by translation and labelling
– T Aoto, T Yamada
- 2003
|
|
14
|
Automating Inductionless Induction using Test Sets
– Deepak Kapur, Paliath Narendran, Hantao Zhang
- 1991
|
