Publication:3911362
From MaRDI portal
zbMath0461.68019MaRDI QIDQ3911362
Publication date: 1981
68Q60: Specification and verification (program logics, model checking, etc.)
68Q65: Abstract data types; algebraic specification
03C30: Other model constructions
03H99: Nonstandard models
Related Items
The axiomatic semantics of programs based on Hoare's logic, A complete logic for reasoning about programs via nonstandard model theory. II, Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?, Recursive programs and denotational semantics in absolute logics of programs