A generalized notion of semantic independence |
|
| Abstract | For programs represented semantically as relations, a concept of semantic independence is defined that is more general than previously stated notions. It allows for shared input variables and irrelevant interference due to nondeterminism. |
| Type | Journal paper [With referee] |
| Journal | Information Processing Letters |
| Year | 1995 Vol. 53 pp. 5-9 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |