Formulaic Language in International Communication and Its Cognitive Elaboration;

A large proportion of people s everyday conversation can be counted as formulaic language.

Through study over symbolic patterned language, by proving problems of creation in wash paintings lies in a fixed patterned language system, this study is looking forward to solutions for problems of creation.

Thls paper gives a merger dynamic and static technique of partial evallaation for procedural language and its formal description.

This paper gives a dynamic technique of partial evaluation for procedural language, and apartial evaluator for Like-PASCAL hs been implemented.

In the light of the characteristic of chemical science this paper the describes the constitution of the types of chemical science language, which are the natural language, the professional mark language and the formal language, and discusses the inter-relationship and functions of these languages in the development of chemical science.

However,the formal specifications written by formal languages are not easy to read and understand,and there is still not an effective tool for the automatic testing based on formal specifications.

A classfication and a system model of formal analyses is given,and three classes of formal analysis methods(based on reasoning,based on attack,based on proof)and formal languages used in formal analyses are commented in details.