Searching for "A Powerdomain Construction." – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Powerdomains and Zero Finding
- … reverse inclusion. In doing so, a powerdomain construction is obtained that when applied to [0; 1] yields…
- Cited by 1 (0 self) – Add To MetaCart
-
An Iterative Powerdomain Construction
- …An Iterative Powerdomain Construction A. B. Ferguson and R. J. M. Hughes Abstract A finite domain…
- Cited by 3 (0 self) – Add To MetaCart
-
Resolution in the Smyth Powerdomain
- … in the Smyth powerdomain, since we provide a direct proof that the powersystem construction works…
- Cited by 2 (2 self) – Add To MetaCart
-
Partial Correctness for Probabilistic Demonic Programs
- … as functions of type S ! S, from initial to final states. A `powerdomain' construction extends…
- Cited by 6 (2 self) – Add To MetaCart
-
A Categorical Model for Higher Order Imperative Programming
- …, f will have some type like f : A ! SB? where S is a powerdomain construct. Whereas Stone duality…
- Cited by 13 (12 self) – Add To MetaCart
-
Natural Semantics for Non-Determinism
- … to modelling non-determinism is to use a powerdomain construction, the domain-theoretic analogue to the power…
- Cited by 2 (0 self) – Add To MetaCart
-
Recovering Sequentiality in Functional-Logic Programs
- … are not usually defined on complete lattices, a powerdomain construction is needed in order to obtain a…
- Add To MetaCart
-
Partial Predicates for Demand Analysis
- … : ?) , p(2 : 1 : ?). In [7] a powerdomain construction for uniform properties over algebraic datatypes…
- Add To MetaCart
-
Technical Report UCAM-CL-TR-688
- … for a domain equation of the form D ∼ = �(Lab× D), where� is now considered as a powerdomain…
- Add To MetaCart
-
166 Bibliography
- … continuation semantics. In particular, a wide variety of control constructs admit typing disciplines which…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
