Delwedd Flaen

Non-deterministic expressions and predicate transformers.

Manylion Llyfryddiaeth
Cyhoeddwyd yn:Information processing letters. 61, 5 (1997).
Prif Awdur: Morris, Joseph M.
Fformat: Erthygl
Iaith:Saesneg
Pynciau:
Non-deterministic expression.
Weakest preconditions.
Refinement calculus.