A relational division operator: The conjugate kernel (Q2367540): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jules Desharnais / rank | |||
Property / author | |||
Property / author: Fatma Mili / rank | |||
Property / author | |||
Property / author: Ali Milli / rank | |||
Property / author | |||
Property / author: Jules Desharnais / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Fatma Mili / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Ali Milli / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q57526145 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(93)90074-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2039689198 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5649409 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetric quotients and domain constructions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5331549 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5810602 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Programming as a Discipline of Mathematical Nature / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3925859 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3763567 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weakest prespecification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regularity of relations: A measure of uniformity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of relation algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A relational approach to the design of deterministic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relational heuristics for the design of deterministic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023410 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heuristics for constructing while loops / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relations binaires, fermetures, correspondances de Galois / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Programs as partial graphs. I: Flow equivalence and correctness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4041054 / rank | |||
Normal rank |
Latest revision as of 18:28, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A relational division operator: The conjugate kernel |
scientific article |
Statements
A relational division operator: The conjugate kernel (English)
0 references
19 January 1994
0 references
A binary operator on relations, called conjugate kernel, is introduced. It is defined as a restriction of a residual and behaves as a kind of inverse of the relational product operator. It is shown how relational algebraic methods can be useful in describing fundamental concepts of programming. The conjugate kernel operator is related with Hoare's weakest pre- and postspecification, Joseph's weakest pre- and postspecification, and Dijkstra's weakest precondition. For example, it is proven that, if there exists a solution of the weakest prespecification problem, the conjugate kernel describes an optimal solution. Furthermore, the connection between the conjugate kernel operator and the notion of program correctness is discussed and the use of conjugate kernels in program construction is demonstrated. Finally, the results are compared with other studies of division-like operators for binary relations.
0 references
relation algebra
0 references
relational division operator
0 references
axiomatic semantics
0 references
weakest precondition
0 references
weakest prespecification
0 references
program correctness
0 references
program construction
0 references