A relational division operator: The conjugate kernel
DOI10.1016/0304-3975(93)90074-4zbMath0779.68058OpenAlexW2039689198WikidataQ57526145 ScholiaQ57526145MaRDI QIDQ2367540
Noureddine Boudriga, Ali Jaoua, Fatma Mili, Jules Desharnais, Ali Milli
Publication date: 19 January 1994
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90074-4
relation algebraaxiomatic semanticsprogram correctnessweakest preconditionprogram constructionweakest prespecificationrelational division operator
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15) Discrete mathematics in relation to computer science (68R99)
Related Items (3)
Cites Work
- Symmetric quotients and domain constructions
- Varieties of relation algebras
- Relational heuristics for the design of deterministic programs
- The weakest prespecification
- Programs as partial graphs. I: Flow equivalence and correctness
- Heuristics for constructing while loops
- A relational approach to the design of deterministic programs
- Regularity of relations: A measure of uniformity
- Programming as a Discipline of Mathematical Nature
- Relations binaires, fermetures, correspondances de Galois
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A relational division operator: The conjugate kernel