scientific article; zbMATH DE number 3610691
From MaRDI portal
Publication:4174692
zbMath0393.68005MaRDI QIDQ4174692
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Searching and sorting (68P10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (12)
The semantics of Hoare's iteration rule ⋮ A constructive logic behind the catch and throw mechanism ⋮ A categorical treatment of pre- and post-conditions ⋮ A decomposition rule for the Hoare logic ⋮ Formal Techniques for Deriving Binary Search Algorithms ⋮ Partially additive categories and flow-diagram semantics ⋮ A logic for Miranda ⋮ A class of fuzzy theories ⋮ Correctness and efficiency of pattern matching algorithms ⋮ Pascal scalars as state indicators ⋮ A ``geometric view of the dynamics of trajectories of computer programs ⋮ Programs as proofs: A synopsis
This page was built for publication:
