Publication:3309036
From MaRDI portal
zbMath0528.68007MaRDI QIDQ3309036
Publication date: 1983
program verification; program schemes; Floyd's method; nonstandard dynamic logic; axiomatizable class of models; many-sorted similarity type; proof concept
03B60: Other nonclassical logic
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03B10: Classical first-order logic
03D15: Complexity of computation (including implicit computational complexity)
03C52: Properties of classes of models
Related Items
Total correctness in nonstandard logics of programs, Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics, A simple proof for the completeness of Floyd's method, Non-standard algorithmic and dynamic logic, Recursive programs and denotational semantics in absolute logics of programs