Denotational Semantics and Refinement
Steve Riddle, Peter J. L. Wallis · Electronic workshops in computing · 1997
Denotational descriptions are frequently presented in terms of a sequence of descriptions of programming languages of increasing complexity. We discuss a formal approach to the study of such description sequences in terms of a refinement relation, showing how the informal use made of this approach in tutorial introductions to denotational semantics may be formally justified.