Publication:3326831

zbMath0539.68020MaRDI QIDQ3326831

V. P. Makarov

Publication date: 1982

zbMATH Keywords

verification; equivalence; correctness; universality; semantics; partial recursive functions; algorithmic language

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

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

68W99: Algorithms in computer science