A generalized notion of semantic independence

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

    Research output: Contribution to journalJournal articleResearchpeer-review


    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.
    Original languageEnglish
    JournalInformation Processing Letters
    Pages (from-to)5-9
    Publication statusPublished - 1995


    Dive into the research topics of 'A generalized notion of semantic independence'. Together they form a unique fingerprint.

    Cite this