scientific article
From MaRDI portal
Publication:3678649
zbMath0564.68008MaRDI QIDQ3678649
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stepwise refinementpartial correctnessHoare's logicFormal proofs of programsfree proceduresReynolds' specification logic
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Full abstraction for the second order subset of an Algol-like language ⋮ Semantical analysis of specification logic ⋮ Semantics and reasoning with free procedures ⋮ Reasoning about procedures as parameters in the language L4
