Construction of a cms on a given cpo


Baier, Christel ; Majster-Cederbaum, Mila


[img]
Vorschau
PDF
1995_28.pdf - Veröffentlichte Version

Download (1MB)

URL: https://ub-madoc.bib.uni-mannheim.de/1756
URN: urn:nbn:de:bsz:180-madoc-17562
Dokumenttyp: Arbeitspapier
Erscheinungsjahr: 1995
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Mathematik und Informatik
MADOC-Schriftenreihe: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet: 004 Informatik
Normierte Schlagwörter (SWD): Metrik <Mathematik> , Vollständige Halbordnung
Abstract: In dealing with denotational semantics of programming languages partial orders 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 cpo D such that M is a complete metric spaces and the metric semantics on M coincides with the cpo semantics on D when the same semantic operators are used. The first method is to add a 'length' on a cpo which means a function &#961; : D &#8594; IN 0 &cup;{&#8734;} of increasing power. The second is based on the ideas of [9] and uses pseudo rank orderings, i.e. monotone sequences of monotone functions &piv;n : D &#8594; D. We show that SFP domains can be characterized as special kinds of rank orderded cpo's. We also discuss the connection between the Lawson topology and the topology induced by the metric.
Zusätzliche Informationen:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Zitationsbeispiel und Export

Baier, Christel und Majster-Cederbaum, Mila (1995) Construction of a cms on a given cpo. [Arbeitspapier]
[img]
Vorschau



+ Suche Autoren in

+ Download-Statistik

Downloads im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen