Publication:4007002

zbMath0754.68020MaRDI QIDQ4007002

V. P. Makarov

Publication date: 27 September 1992

zbMATH Keywords

object-oriented programming; hereditary extension of many-sorted first-order theories; mathematical specification language MSL

Mathematics Subject Classification ID

68N15: Theory of programming languages

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

68N01: General topics in the theory of software

03C07: Basic properties of first-order languages and structures