author = "Gutman A.E.",

howpublished = "Electronic",

title = "Representation and analysis of object-oriented data by means of rewriting systems",

booktitle = "Mal'tsev Meeting. International Conference (Novosibirsk, November 12--16, 2012)",

address = "Novosibirsk",

year = "2012",

pages = "26",

language = "russian",

annote = "In the framework of deterministic prefix rewriting systems, the notions are introduced and studied which are typical for the object-oriented approach to data organization: inheritance of classes and objects, instances of classes, class and instance attributes, conceptual dependence and consistency, conceptual scheme, types and subtypes, etc. A special attention is paid to the effective verification of various properties of the rewriting systems under consideration."