@inproceedings { Gutman20121115,
author = "Гутман А.Е.",
howpublished = "Электронная",
title = "Представление и анализ объектных данных посредством перезаписывающих систем",
booktitle = "Мальцевские чтения. Международная конференция (Новосибирск, 12--16 ноября 2012 г.): Тез. докладов",
address = "Новосибирск",
year = "2012",
pages = "26",
annote = "В рамках детерминированных префиксных перезаписывающих систем вводятся и исследуются понятия, характерные для объектно-ориентированного подхода к организации данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и пр. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых систем."
}