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

zbMATH Keywords

relation algebraaxiomatic semanticsprogram correctnessweakest preconditionprogram constructionweakest prespecificationrelational division operator

Mathematics Subject Classification ID

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)

Embedding a demonic semilattice in a relation algebra ⋮ Parallel composition and decomposition of specifications ⋮ Nondeterministic semantics of compound diagrams

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