A generalized notion of semantic independence

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

    Fingerprint

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

    Cite this