A relational division operator: The conjugate kernel
Publication:2367540
DOI10.1016/0304-3975(93)90074-4zbMath0779.68058WikidataQ57526145 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 algebra; axiomatic semantics; program correctness; weakest precondition; program construction; weakest prespecification; relational division operator
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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