Publication:4178458

zbMath0395.68012MaRDI QIDQ4178458

C. A. R. Hoare

Publication date: 1978

zbMATH Keywords

Logical Foundations; Computer Programming; Elucidation of Sets of Axioms; Rules of Inference

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q65: Abstract data types; algebraic specification

68N01: General topics in the theory of software

Related Items

Phrase structures, non-determinism and backtracking