Abstract | ||
---|---|---|
this paper, we show that the argument filtering method combining with the dependency pairtechnique is essential in all the above elimination methods. We present remarkable simpleproofs for the soundness of these elimination methods based on this observation. Moreover, wepropose a new elimination method, called the argument filtering transformation, which is notonly more powerful than all the other elimination methods but also especially useful to makeclear the essential relation hidden... |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/10704567_3 | PPDP |
Keywords | Field | DocType |
argument filtering transformation | Computer science,Partial redundancy elimination,Filter (signal processing),Theoretical computer science,Mathematical proof,Rewriting,Soundness | Conference |
Volume | ISSN | ISBN |
1702 | 0302-9743 | 3-540-66540-4 |
Citations | PageRank | References |
50 | 2.04 | 10 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Keiichirou Kusakari | 1 | 135 | 9.56 |
Masaki Nakamura | 2 | 50 | 2.72 |
Yoshihito Toyama | 3 | 533 | 49.60 |