Generic commands--a tool for partial correctness formalisms

DOI10.1093/comjnl/20.2.151zbMath0359.68012OpenAlexW2171128010MaRDI QIDQ4131611

No author found.

Publication date: 1977

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/20.2.151

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Blaming the client: on data refinement in the presence of pointers, Fifty years of Hoare's logic, Wythoff games, continued fractions, cedar trees and Fibonacci searches, On the notion of expressiveness and the rule of adaptation, Correctness of programs with Pascal-like procedures without global variables