Equivalence proving of operational and denotational semantics about Repeat-until statement;

The static and dy-namic denotational semantics of Smalltalk-80 are described through the formal model.

The fixed point of continuous function is an important content in denotational semantics,which specifies the computing properties of programs.

By analysizing their grammatical functions,grammatical positions,their overlapping use with other adverbs and their semantic orientation respectively,we can peep at the use of blanket range adverbs in those dynasties,which is of great value for the systematic research in the evolution of the Chinese blanket range adverbs.

The theory of semantic orientation analysis may contribute to multi-angle and multi-layered analysis of grammatical phenomena.

This article makes an investigation into the theoretical study of semantic orientation carried out by domestic scholars since the mid-80s as well as their application of the analytical methods of semantic orientation into analyzing specific linguistic facts.

The verb of "de" sentence and semantic direction of its complement;

Analysis of Semantic Direction of "Adjective+'yidian'" in Modern Chinese

The study of the semantic direction focuses on the sentenc to contain one verb at present ,but it is little to study more verb sentence in "Lian-dong sentence".

This paper also gives the denotational semantics of the based I/O CCALL operational.

Moreover,when used as adverbials,adjectives are different in their semantic indication.

At the same time,most of the ambiguous sentences in the sentence pattern result from R s different semantic indications.