Semantics Transformation:From Direct Denotational Semantics to Continuation Denotational Semantics

Denotational semantics is divided into direct denotational semantics and continuation semantics However it is difficult to describe continuation semantics A technique of transformation from direct semantics to continuation semantics is provided The transformation technique makes it possible to automatize the semantics transformation and to open out the relation between direct and continuation semantics At the same time it is an effective technology for describing continuation semantics It is also a useful technique in verifying the equivalence of direct and continuation denotational semantics of a language