The Method of Denotation Semantics Based on Trace
Lin Zhi · Journal of Xinjiang Normal University · 2007
This paper present a denotational semantic descriptive method based On trace. The method combines characteristics ofoperational semantics and algebraic semantics, avoids domain theory as the theo- retical basis,and unites static semantic and dynamic semantic description. Inthis paper,the concept of trace is introduced first, then a model language is given and the correspondingsemanticdomains aledefmed, func- tionandprocessaredescribed.