One of the main distinctions is that Eng- lish language abounds in abstract nouns and expressions describing the nature and qualities of things and people.

This paper,from the view of vocabulary,discusses the English-Chinese translation in business English,mainly including the translation of polysemy,layers of word meaning,single and plural nouns and abstract nouns.

After studying the abstract nouns in 130,000 words of literary works through the limited - method investigation, the author reached the following conclusions: A sub - classification of verb extracted from the abstract - noun - and - verb collocation; semantic shift in the various collocation patterns; semantic bias aroused from the semantic shift, etc.

At the end of a ZUO(BE) phrase,there is often an abstract noun that serves as an object;at the end of a ZUO(DO) phrase,there is often a concrete noun that serves as an object.

In most cases,the position N is occupied by abstract nouns of two syllables.

After analyzing the structure of "preposition + abstract noun" which modifies the verb of a sentence, the paper concludes that the function of preposition + abstract noun is equal to the function of an adverb in a sentence and the translation of this preposition + abstract noun phrase is similar to the translation of a single adverb.

SAT-based program predicate abstraction;

Algorithm of predicate abstraction for intermediate form of Java program

This paper presents a survey of the latest developments in predicate abstraction.