scientific article
From MaRDI portal
Publication:3917477
zbMath0465.68003MaRDI QIDQ3917477
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equational specificationinitial algebra specificationspartial correctness of while programsalgebraic Hoare logiccomputable datatype
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items (4)
Algebraic specifications of computable and semicomputable data types ⋮ Hoare's logic and Peano's arithmetic ⋮ Two theorems about the completeness of Hoare's logic ⋮ The axiomatic semantics of programs based on Hoare's logic
This page was built for publication:
