scientific article
From MaRDI portal
Publication:3911362
zbMath0461.68019MaRDI QIDQ3911362
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Other model constructions (03C30) Nonstandard models (03H99)
Related Items (4)
Recursive programs and denotational semantics in absolute logics of programs ⋮ 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? ⋮ The axiomatic semantics of programs based on Hoare's logic
This page was built for publication: