Regularity of relations: A measure of uniformity
From MaRDI portal
Publication:2638796
DOI10.1016/0304-3975(91)90335-YzbMath0717.68066WikidataQ57526147 ScholiaQ57526147MaRDI QIDQ2638796
J. L. Durieux, Ali Jaoua, Noureddine Boudriga, Ali Milli
Publication date: 1991
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On fuzzy difunctional relations, Regular relations and bicartesian squares, Programming from metaphorisms, A relational division operator: The conjugate kernel
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item