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

fYear

1990

fDate

31 Oct-2 Nov 1990

Firstpage

711

Lastpage

716

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-2054-4

Type

conf

DOI

10.1109/CMPSAC.1990.139466

Filename

139466