author = "Гутман А.Е.",

howpublished = "Электронная",

title = "Представление и анализ объектных данных посредством перезаписывающих систем",

booktitle = "Мальцевские чтения. Международная конференция (Новосибирск, 12--16 ноября 2012 г.): Тез. докладов",

address = "Новосибирск",

year = "2012",

pages = "26",

annote = "В рамках детерминированных префиксных перезаписывающих систем вводятся и исследуются понятия, характерные для объектно-ориентированного подхода к организации данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и пр. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых систем."