Publication:4178463
From MaRDI portal
zbMath0395.68017MaRDI QIDQ4178463
Rod M. Burstall, John Darlington
Publication date: 1978
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
A complete logic for reasoning about programs via nonstandard model theory. I, Knowledge and reasoning in program synthesis, A family of rules for recursion removal, A partial evaluator, and its use as a programming tool, On some classes of interpretations