scientific article
From MaRDI portal
Publication:3904041
zbMath0455.68019MaRDI QIDQ3904041
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
refinementdata type specificationpartial correctness of while- programsstrongest postcondition calculus
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Two theorems about the completeness of Hoare's logic, Expressiveness and the completeness of Hoare's logic
