scientific article
From MaRDI portal
Publication:3994464
zbMath0681.68001MaRDI QIDQ3994464
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Methodology of mathematics (00A35)
Related Items (7)
The co-invariant generator: An aid in deriving loop bodies ⋮ Predicate transformers and higher-order programs ⋮ Constructing a program with exceptions ⋮ Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components ⋮ Fifty years of Hoare's logic ⋮ From Predicates to Programs: The Semantics of a Method Language ⋮ Derivation of a rotator circuit with homogeneous interconnect
This page was built for publication:
