On the Representation of Stream Functions in Denotational Domains - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2011

On the Representation of Stream Functions in Denotational Domains

Résumé

We investigate the representation of functions on streams in some denota- tional domains. As expected, a total continuous stream function can always be represented by a Scott-continuous function, and moreover by a strongly stable map in the corresponding Hypercoherence. It seems however difficult to represent an arbitrary stream function by a monotone map on Scott domains such that the stream function is continuous if and only if its representant is Scott-continuous. The difficulty is that the set of Scott-approximants of an open subset of a not (topologically) compact set of streams may not be Scott-open. We show that this problem does not occur in the compact case.
Fichier principal
Vignette du fichier
main.pdf (227.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00617624 , version 1 (29-08-2011)

Identifiants

  • HAL Id : hal-00617624 , version 1

Citer

Colin Riba. On the Representation of Stream Functions in Denotational Domains. 2011. ⟨hal-00617624⟩
110 Consultations
59 Téléchargements

Partager

More