Gutman A.E.
Rewriting systems
4 publications, 2011–2015

Representation of object-oriented data by means of prefix rewriting systems, and development of the theory

In the framework of prefix rewriting systems, the notions are introduced typical for the object-oriented approach to data organization. Namely, the following are introduced and studied:
- the notion of attribute (an analog of property and method of a class or object);
- the notion of inheritance (an analog of inheritance of classes and object instantiation);
- conceptual dependence and consistence, conceptual scheme;
- the notions of type and subtype.
The questions are studied in detail of algorithmic verification of key “object-oriented” properties of rewriting systems.

1.	Gutman A.E. Prefix rewriting systems as object-oriented data models // Report abstract. Ershov Informatics Conference 2011. Knowledge and Ontologies ELSEWHERE 2011. The Third Workshop (Novosibirsk, July 1, 2011): Proceedings. Novosibirsk: Price-Courier, 2011. P. 5–14. Bibliographic record Record in BibTeX format Report abstract (PDF) Cover (PDF) Abstracts (PDF) Conference program (PDF) Information on ResearchGate Program on the conference site Conference site
2.	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. Bibliographic record Record in BibTeX format Report abstract (PDF) Cover (PDF) Abstracts (PDF) Conference program (PDF) Conference section program (PDF) Information on ResearchGate Abstracts on the site (PDF) Program on the conference site (PDF) Section program on the site (PDF) Conference site
3.	Gutman A.E. Object-oriented data as prefix rewriting systems // Report abstract. Advanced mathematics, computations and applications – 2014. International conference (Novosibirsk, June 8–11, 2014): Abstracts. Novosibirsk: Academizdat, 2014. P. 48. Bibliographic record Record in BibTeX format Report abstract (PDF) Cover (PDF) Abstracts (PDF) Conference program (PDF) Information on ResearchGate Abstracts on the site (PDF) Program on the conference site (PDF) Conference site
4.	Gutman A.E. Object-oriented data as prefix rewriting systems // Vladikavk. Math. J. 2015. V. 17, issue 3. P. 23–35. Bibliographic record Record in BibTeX format Article (PDF) Cover (PDF) Article on the journal site (PDF) Information on the journal site Information on ResearchGate DOI resolution Journal site

List in BibTeX format

The papers are presented here for academic purposes and are not intended for mass dissemination or copying.

Last updated
June 10, 2020

Gutman A.E.Rewriting systems4 publications, 2011–2015

Gutman A.E.
Rewriting systems
4 publications, 2011–2015