Title :
EASE: an embedded algebraic specification environment
Author :
Qian, Jiahua ; Zheng, Yong ; Jin, Liqun ; Zhang, Jinhua
Author_Institution :
Dept. of Comput. Sci., Fudan Univ., Shanghai, China
fDate :
31 Oct-2 Nov 1990
Abstract :
An attempt is made to apply ideas about algebraic specification in the context of a programming language, EASE, an embedded algebraic specification environment, is developed based on a Pascal-oriented iterative programming environment FPE by allowing embedded algebraic specification (EAS) in the place of Pascal code. It provides a framework for the formal development of a program from a specification. The authors discuss the design of EAS and the use of EASE as a term rewriting system. In general, EASE can automatically generate code for any formally specified object by term rewriting, and can immediately execute and test this object. Therefore, it can be used as a tool for support program development, program prototyping, and specification reuse
Keywords :
Pascal; formal specification; programming environments; rewriting systems; specification languages; EASE; FPE; Pascal-oriented iterative programming environment; embedded algebraic specification environment; program prototyping; programming language; specification reuse; support program development; term rewriting system; Algebra; Automatic testing; Computer languages; Computer science; Equations; Libraries; Mathematical model; Programming environments;
Conference_Titel :
Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-2054-4
DOI :
10.1109/CMPSAC.1990.139466
