RU
🏠
Gutman A.E.
Representation and analysis of object-oriented data by means of rewriting systems [in Russian] //
Report abstract. Mal'tsev Meeting. International Conference (Novosibirsk, November 12–16, 2012). Novosibirsk, 2012. P. 26.

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.
Type Report abstract
Form Electronic
Authors Gutman Alexander Efimovich
Title Representation and analysis of object-oriented data by means of rewriting systems
Book Mal'tsev Meeting. International Conference (Novosibirsk, November 12–16, 2012)
Address Novosibirsk
Year 2012
Pages 26
Language Russian
© 2012.11.15
Files
Links
Project  Rewriting systems 
Representation of object-oriented data by means of prefix rewriting systems, and development of the theory
 
 
The papers are presented here for academic purposes and are not intended for mass dissemination or copying. Last updated
July 19, 2018