THE DESIGN AND FORMALSPECIFICATION OF ALGORITHM LANGUAGE L

On the basis of analyzing the main drawbacks of PASCAL when used as analgorithm language, and by adopting the design principles of b language, an algorithmlanguage L is defined in this paper. Its concrete grammar, abstract grammar and staticsemantics are presented in detail.