论文信息 - Transformation Ordering - 字舞流文

Transformation Ordering

Françoise Bellegarde | Pierre Lescanne | P. Lescanne | F. Bellegarde

[1] Isabelle Gnaedig,et al. Proving Termination of Associative Commutative Rewriting Systems by Rewriting , 1986, CADE.

[2] Nachum Dershowitz,et al. Commutation, Transformation, and Termination , 1986, CADE.

[3] Françoise Bellegarde,et al. Rewriting Systems on FP Expressions to Reduce the Number of Sequences Yielded , 1986, Science of Computer Programming.

[4] L. Bachmair,et al. Associative Path Orderings , 1985, RTA.

[5] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .

[6] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.