A relational division operator: The conjugate kernel

DOI10.1016/0304-3975(93)90074-4zbMath0779.68058WikidataQ57526145 ScholiaQ57526145MaRDI QIDQ2367540

Ali Jaoua, Jules Desharnais, Ali Milli, Noureddine Boudriga, Fatma Mili

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 algebra; axiomatic semantics; program correctness; weakest precondition; program construction; weakest prespecification; relational division operator

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

03G15: Cylindric and polyadic algebras; relation algebras

68R99: Discrete mathematics in relation to computer science

Related Items

Embedding a demonic semilattice in a relation algebra, Parallel composition and decomposition of specifications

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