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