scientific article; zbMATH DE number 3614149
From MaRDI portal
Publication:4178463
zbMath0395.68017MaRDI QIDQ4178463
Rod M. Burstall, John Darlington
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (5)
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
This page was built for publication:
