On completions of semantic domains

Roggenbach, Markus

Vorschau

PDF
1996_10.pdf - Veröffentlichte Version
Download (1MB)

URL:	http://ub-madoc.bib.uni-mannheim.de/1877
URN:	urn:nbn:de:bsz:180-madoc-18772
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	1996
Titel einer Zeitschrift oder einer Reihe:	None
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
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):	Semantischer Bereich
Abstract:	This paper adds the technique of chain completion to the setting of [MCB94]. We develop the theory of chain completion Ch(D) of a domain D and show how this completion relates to metric and ideal completion. Especially we study consistency results for denotational semantics on D, Ch(D) and Idl(D).

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

BASE: Roggenbach, Markus

Google Scholar: Roggenbach, Markus

Downloads im letzten Jahr

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

Eintrag anzeigen