A relational division operator: The conjugate kernel

DOI10.1016/0304-3975(93)90074-4MaRDI QIDQ2367540zbMATH OpenOpenAlexWikidataFDO

Authors Ali Jaoua, Noureddine Boudriga, Jules Desharnais, Fatma Mili, Ali 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 algebraprogram correctnessweakest preconditionaxiomatic semanticsprogram constructionweakest prespecificationrelational division operator

Mathematics Subject Classification ID

Discrete mathematics in relation to computer science (68R99) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Binary relations. Addenda. 1: Kernel, restrictions and inducing, relational morphisms
• On the mathematics of sequential decompositions
• scientific article; zbMATH DE number 3923469
• Conjugative relations and applications
• Division and renaming in relational algebras

Cites work

• scientific article; zbMATH DE number 4020448 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 107838 (Why is no real title available?)
• scientific article; zbMATH DE number 194258 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3378527 (Why is no real title available?)
• scientific article; zbMATH DE number 3070503 (Why is no real title available?)
• A relational approach to the design of deterministic programs
• Heuristics for constructing while loops
• Programming as a Discipline of Mathematical Nature
• Programs as partial graphs. I: Flow equivalence and correctness
• Regularity of relations: A measure of uniformity
• Relational heuristics for the design of deterministic programs
• Relations binaires, fermetures, correspondances de Galois
• Symmetric quotients and domain constructions
• The weakest prespecification
• Varieties of relation algebras

Cited in

(4)

• Nondeterministic semantics of compound diagrams
• Embedding a demonic semilattice in a relation algebra
• Invariant relations for affine loops
• Parallel composition and decomposition of specifications

This page was built for publication: A relational division operator: The conjugate kernel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367540)