scientific article; zbMATH DE number 3610691
From MaRDI portal
Publication:4174692
zbMATH Open0393.68005MaRDI QIDQ4174692FDOQ4174692
Authors: Suad Alagić, Michael A. Arbib 
Publication date: 1978
Title of this publication is not available (Why is that?)
General topics in the theory of software (68N01) 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)
Cited In (12)
- Correctness and efficiency of pattern matching algorithms
- A categorical treatment of pre- and post-conditions
- A decomposition rule for the Hoare logic
- Partially additive categories and flow-diagram semantics
- A class of fuzzy theories
- Formal Techniques for Deriving Binary Search Algorithms
- A constructive logic behind the catch and throw mechanism
- A logic for Miranda
- Pascal scalars as state indicators
- A ``geometric view of the dynamics of trajectories of computer programs
- Programs as proofs: A synopsis
- The semantics of Hoare's iteration rule
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4174692)
