论文信息 - REVE a Rewrite Rule Laboratory - 字舞流文

REVE a Rewrite Rule Laboratory

Pierre Lescanne

[1] Christine Choppy,et al. PETRIREVE: Proving Petri Net Properties with Rewriting Systems , 1985, RTA.

[2] Claude Kirchner,et al. Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies , 1985, European Conference on Computer Algebra.

[3] Hélène Kirchner,et al. Completion of a set of rules modulo a set of equations , 1984, SIAM J. Comput..

[4] Hantao Zhang,et al. REVEUR 4: A System for Validating Conditional Algebraic Specifications of Abstract Data Types , 1984, ECAI.

[5] Pierre Lescanne,et al. Computer experiments with the REVE term rewriting system generator , 1983, POPL '83.

[6] Stavros S. Cosmadakis,et al. Two Applications of Equational Theories to Database Theory , 1985, RTA.