zbMATH — the first resource for mathematics

A class of program schemes based on tree rewriting systems. (English) Zbl 0518.68015
Trees in algebra and programming, CAAP’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 191-204 (1983).

68Q60 Specification and verification (program logics, model checking, etc.)
68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software