A relational approach to the design of deterministic programs
From MaRDI portal
Publication:1838028
DOI10.1007/BF00264277zbMath0508.68003MaRDI QIDQ1838028
Publication date: 1983
Published in: Acta Informatica (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Nondeterministic semantics of compound diagrams, Embedding a demonic semilattice in a relation algebra, On fuzzy difunctional relations, Combining relational calculus and the Dijkstra-Gries method for deriving relational programs, Relational demonic fuzzy refinement, On the Turing completeness of the semantic web, A relational division operator: The conjugate kernel, Study of the diagnosability of automated production systems based on functional graphs