Bibliographische Detailangaben

Beteiligte Personen:	Keller, Robert M. (VerfasserIn), Panangaden, Prakash 1954- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Ithaca, New York 1985
Schriftenreihe:	Cornell University <Ithaca, NY> / Department of Computer Science: Technical report 717
Schlagwörter:	Computer programming Digital electronics
Abstract:	We discuss a formal model based upon dataflow, usable for high-level digital hardware design, among other things. One of our goals is to give a denotational semantics for this model, which includes indeterminate modules. While it is well known that denotational semantics for networks containing only determinate modules can be simply expressed as a composition of stream functions, this aproach has previously been shown unacceptable for networks with indeterminate modules. Our approach is to devise composition rules based on modelling a network by the set of its possible behaviors, i.e., sequences of computational events, where each event is the appearance or consumption of a token on a data path. A sequence of such events is called a history and a set of such histories is called an archive. We give composition rules that allow us to derive an archive for a network from the archive of its constituents. We show how causal and operational constraints on network behavior can be inferred from the specification of archives. We also present a construction which allows us to obtain the the denotation of networks containing loops by a process of successive approximations. This construction is carried out using a construction resembling the category-theoretic notion of limit, which differs from that of more traditional domain theory.
Umfang:	26 S.