论文信息 - Some supporting tools for the algebraic specification of data types

Some supporting tools for the algebraic specification of data types

The algebraic specification technique is one of the most influential formal methods in software engineering. In this paper, we describe some supporting tools for writing, verifying and executing algebraic specifications. Examples are given to illustrate the use of these tools.<<ETX>>

Jian Zhang

[1] Nachum Dershowitz,et al. Computing with Rewrite Systems , 1985, Inf. Control..

[2] Stéphane Kaplan,et al. Conditional Rewrite Rules , 1984, Theor. Comput. Sci..

[3] Jeannette M. Wing. A specifier's introduction to formal methods , 1990, Computer.

[4] David A. Plaisted,et al. A Simple Non-Termination Test for the Knuth-Bendix Method , 1986, CADE.

[5] Jan Willem Klop,et al. Term rewriting systems: a tutorial , 1987 .