Publication:3792218

zbMath0647.68013MaRDI QIDQ3792218

D.Tătar

Publication date: 1988

zbMATH Keywords

algebraic semantics; rewriting systems; recursive schemes; syntactic context-free grammar; useless equations; useless variables

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)