Denotational semantics of non-deterministic programs The concept of power domains has been developed to give a denotational semantics to non-deterministic sequential programs. Writing P for a power-domain constructor, the domain P(D) is the domain of non-deterministic computations of type denoted by D.
Denotational semantics of non-deterministic programs The concept of power domains has been developed to give a denotational semantics to non-deterministic sequential programs. Writing P for a power-domain constructor the domain P(D) is the domain of non-deterministic computations of type denoted by D.