×

zbMATH — the first resource for mathematics

Recursive programs as predicate transformers. (English) Zbl 0392.68006
Form. Descr. Program. Lang., Proc. IFIP Conf., St. Andrews/Canada 1977, 165-181 (1978).

MSC:
68N01 General topics in the theory of software
68Q55 Semantics in the theory of computing
68Q65 Abstract data types; algebraic specification
Citations:
Zbl 0367.00022