Regularity of relations: A measure of uniformity

DOI10.1016/0304-3975(91)90335-YzbMath0717.68066DBLPjournals/tcs/JaouaMBD91OpenAlexW2094016548WikidataQ57526147 ScholiaQ57526147MaRDI QIDQ2638796

J. L. Durieux, Ali Jaoua, Noureddine Boudriga, Ali Milli

Publication date: 1991

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90335-y

zbMATH Keywords

regularitybinary relationsprogram specifications

Mathematics Subject Classification ID

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

Related Items (5)

Regular relations and bicartesian squares ⋮ A relational division operator: The conjugate kernel ⋮ On fuzzy difunctional relations ⋮ Programming from metaphorisms ⋮ On difunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strongest invariant functions: Their use in the systematic analysis of while statements
• Relational heuristics for the design of deterministic programs
• A relational theory of computing
• Formal specification of a display-oriented text editor
• A generalized control structure and its formal definition
• Specification methodology: An integrated relational approach
• An axiomatic basis for computer programming

This page was built for publication: Regularity of relations: A measure of uniformity