КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЕНЫХ, ПОСВЯЩЕННАЯ 10-ЛЕТИЮ ИВТ СО РАН

25-26 декабря 2000 года, Новосибирск, Академгородок, ИВТ СО РАН

Тезисы докладов

Информационные технологии

Автоматическая элиминация операций над типами данных, определяемыми конструкторами

Ануреев И.С.

Институт систем информатики (Новосибирск)

Метод для автоматической элиминации операций над типами данных, определяемыми конструкторами, предлагается. Он основан на применении систем переписывания формул. Последние являются комбинацией систем переписывания термов и сужения. Рассмотрены условия, при которых применение систем переписывания формул сохраняет выполнимость формул.Работа частично поддержана РФФИ 00-01-00909 и молодежным грантом СО РАН.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши коментарии
Обратная связь

[Головная страница]
[Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
Дата последней модификации 06-Jul-2012 (11:52:48)