Power Domain Constructions

Power Domain Constructions (1998)

by Reinhold Heckmann

Venue:	SCIENCE OF COMPUTER PROGRAMMING
Citations:	22 - 9 self

User correction supplied by mph

Datum	Value	Source
TITLE	Power Domain Constructions	INFERENCE
AUTHOR NAME	Reinhold Heckmann	user correction
AUTHOR AFFIL	FB 14-- Informatik; Universität des Saarlandes	user correction
AUTHOR ADDR	D-6600 Saarbrücken	user correction
ABSTRACT	The variety of power domain constructions proposed in the literature is put into a general algebraic framework. Power constructions are considered algebras on a higher level: for every ground domain, there is a power domain whose algebraic structure is specified by means of axioms concerning the algebraic properties of the basic operations empty set, union, singleton, and extension of functions. A host of derived operations is introduced and investigated algebraically. Every power construction is shown to be equipped with a characteristic semiring such that the resulting power domains become semiring modules. Power homomorphisms are introduced as a means to relate different power constructions. They also allow to define the notion of initial and final constructions for a fixed characteristic semiring. Such initial and final constructions are shown to exist for every semiring, and their basic properties are derived. Finally, the known power constructions are put into the general framewo...	user correction - Legacy Corrections
YEAR	1998	user correction - Legacy Corrections
VENUE	SCIENCE OF COMPUTER PROGRAMMING	user correction
VENUE TYPE	TECHREPORT	INFERENCE
VOLUME	17	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	17 found	ParsCit 1.0