×

Induction rules and termination proofs. (English) Zbl 0387.68011

Automata, Languages, Programming, Proc. Sympos. Inst. Rech. Informatique Automatique (IRIA), Rocquencourt 1972, 225-251 (1973).

MSC:

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