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>>
[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 .