A generalized notion of semantic independence

Martin Fränzle, Bernhard von Stengel, Arne Wittmüss

AbstractFor 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.
TypeJournal paper [With referee]
JournalInformation Processing Letters
Year1995    Vol. 53    pp. 5-9
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering


Back  ::  IMM Publications