scientific article; zbMATH DE number 3610691

MaRDI QIDQ4174692zbMATH OpenFDO

Authors Suad Alagić, Michael A. Arbib

Publication date 1978

zbMATH Keywords

PascalSemanticsProgram VerificationStructured ProgrammingTop-Down Programming

Mathematics Subject Classification ID

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
• A ``geometric view of the dynamics of trajectories of computer programs
• Pascal scalars as state indicators
• 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)