TO
Filters: Department: "Kahlert School of Computing" Collection: "ir_uspace" Subject: "Indeterminate operators"
1 - 25 of 2
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Panangaden, Prakash | Abstract interpretation and indeterminacy | We present a semantic theory that allows us to discuss the semantics of indeterminate operators in a dataflow network. The assumption is made that the language in which the indeterminate operators are written has a construct that allows for the testing of availability of data on input lines. We then... | Semantics; Indeterminate operators | 1984 |
| 2 |
 | Keller, Robert M. | Denotational models for parallel programs with indeterminate operators | Several approaches to networks of concurrently-operating modules involving indeterminacy are discussed. Techniques for representing the denotational semantics of such networks, and for verifying properties of them, are presented, including an oracle approach, an axiomatic approach, a data-type reduc... | Denotational models; Indeterminate operators | 1977 |
1 - 25 of 2