Next: 3.3 Именной указатель содокладчиков
Up: 3.2 Тематический список докладов
Previous: 3.2.2 Доклады на всесоюзных
Contents
- Инструментальные средства преобразования
программ.
1987
- Методы расширения в языках спецификации и системах
преобразования программ методами преобразований.
1986
- О работах лаборатории в области систем учебной
информатики.
1994
- Организация учебной и научно-исследовательской работы
студентов по программированию на механико-матема-
тическом
факультете НГУ.
1990
- Смешанные вычисления и оптимизация программ.
1983
- СОКРАТ: окружение надежного и эффективного
программирования.
1995
- Трансформационный подход к конструированию и
оптимизации
программ.
1990