scientific article; zbMATH DE number 3609100

MaRDI QIDQ4174207zbMATH OpenFDO

Authors J. W. de Bakker

Publication date 1978

zbMATH Keywords

Predicate TransformersRecursive Programs

Mathematics Subject Classification ID

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

Cited in

(5)

• On the total correctness of nondeterministic programs
• Relational semantics revisited
• Étude et implémentation d'un système de déduction pour logique algorithmique
• scientific article; zbMATH DE number 3688675 (Why is no real title available?)
• Proof tactics for a theory of state machines in a graphical environment

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4174207)