scientific article; zbMATH DE number 3609100

zbMath0392.68006MaRDI QIDQ4174207

J. W. de Bakker

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Predicate TransformersRecursive Programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items

Unnamed Item, On the total correctness of nondeterministic programs, Étude et implémentation d'un système de déduction pour logique algorithmique, Relational Semantics Revisited, Proof tactics for a theory of state machines in a graphical environment