Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
February 1991
Abstract
This report characterizes the powerdomain constructions which have been used in the semantics of programming languages in terms of formulas of first order logic under a preordering of provable implication. This provides an intuitive representation which suggests a new form of powerdomain - called the mixed powerdomain - which expresses data in a different way from the well-known constructions from programming semantics. It can be shown that the mixed powerdomain has many of the properties associated with the convex powerdomain such as the possibility of solving recursive equations and a simple algebraic characterization.
Recommended Citation
Carl A. Gunter, "Representing Powerdomain Elements as Monadic Second Order Predicates", . February 1991.
Date Posted: 14 August 2007
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-91-21.