In dealing with denotational semantics of programming languages partial order resp. Metric spaces have been used with great benefit in order to provide a meaning to recursive and repetitive constructs. This paper presents two methods to define a metric on a subset M of a complete partial order D such that M is a complete metric spaces and the metric semantics on M coincides with the partial order semantics on D when the same semantic operators are used.
展开▼