A generalized notion of semantic independence

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

doi:10.1016/0020-0190(94)00168-X

A generalized notion of semantic independence

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

Research output: Contribution to journal › Journal article › Research › peer-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 language	English
Journal	Information Processing Letters
Volume	53
Issue number	1
Pages (from-to)	5-9
ISSN	0020-0190
DOIs	https://doi.org/10.1016/0020-0190(94)00168-X
Publication status	Published - 1995

Access to Document

10.1016/0020-0190(94)00168-X

OpenUrl availability

Full text

Cite this

@article{746c1c4f40514b6399417e41b5026fd9,

title = "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.",

author = "Martin Fr{\"a}nzle and Stengel, {Bernhard von} and Arne Wittm{\"u}ss",

year = "1995",

doi = "10.1016/0020-0190(94)00168-X",

language = "English",

volume = "53",

pages = "5--9",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - A generalized notion of semantic independence

AU - Fränzle, Martin

AU - Stengel, Bernhard von

AU - Wittmüss, Arne

PY - 1995

Y1 - 1995

N2 - 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.

AB - 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.

U2 - 10.1016/0020-0190(94)00168-X

DO - 10.1016/0020-0190(94)00168-X

M3 - Journal article

SN - 0020-0190

VL - 53

SP - 5

EP - 9

JO - Information Processing Letters

JF - Information Processing Letters

IS - 1

ER -

A generalized notion of semantic independence

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this