М |
Индивидуальные задания по практике на ЭВМ (Методическая разработка) |
1979 |
Касьянов В. Н., Поттосин И. В., Сабельфельд В. К., Трахтенброт М. Б. |
|
|
НГУ |
|
09.04.1980 |
А |
Оптимизирующие преобразования программ и их обоснование методами теории крупноблочных схем |
1986 |
Касьянов В. Н. |
|
|
|
|
02.12.1986 |
М |
Оптимизирующие преобразования программ |
1988 |
Касьянов В. Н. |
Библиотечка программиста |
|
|
|
20.06.1988 |
А |
Эквивалентные и оптимизирующие преобразования крупноблочных схем и программ. |
1988 |
Касьянов В. Н. |
|
|
|
|
27.09.1988 |
СТ |
Об одном методе конструирования качественных версий программ |
1985 |
Касьянов В. Н. |
|
|
|
Информатика-85 |
13.02.1991 |
СТ |
Система для анализа, преобразования и инструментовки Фортран-программ |
1990 |
Касьянов В. Н. |
|
|
|
Программно-инструментальные средства задач информатики |
05.03.1992 |
М |
Алгоритмы обработки деревьев |
1990 |
Евстигнеев В. А., Касьянов В. Н. |
|
- Котов В. Е.
|
ВЦ СО АН СССР |
|
17.06.1992 |
СТ |
Трансформационный подход к конструированию и оптимизации программ |
1991 |
Касьянов В. Н. |
|
|
|
Смешанные вычисления и преобразование программ |
18.06.1992 |
СТ |
Трансформационный подход к конструированию и оптимизации программ |
1991 |
Касьянов В. Н. |
|
|
|
Смешанные вычисления и преобразование программ |
19.06.1992 |
СТ |
Свободные интерпретации крупноблочных схем программ |
1980 |
Касьянов В. Н. |
|
|
|
Теоретические основы компиляции |
15.12.1992 |
М |
Деревья: основные понятия, свойства и алгоритмы |
1992 |
Евстигнеев В. А., Касьянов В. Н. |
|
|
|
учеб. пособие |
13.03.1993 |
М |
Методы построения трансляторов |
1986 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
|
30.03.1993 |
М |
Технология трансляции (Учебное пособие) |
1979 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
|
30.03.1993 |
П |
Автоматизация построения трансляторов |
1983 |
Поттосин И. В., Касьянов В. Н. |
|
|
ВЦ СО АН СССР |
|
30.03.1993 |
СТ |
Методика разработки многоязыковых трансляторов на примере системы БЕТА |
1982 |
Поттосин И. В., Ершов А. П., Касьянов В. Н., Покровский С. Б. |
|
|
ВЦ СО АН СССР |
Математическая теория и практика системного программного обеспечения |
30.03.1993 |
СТ |
Об автоматическом конструировании качественных программ, основанном на преобразовании |
1981 |
Поттосин И. В., Дзелинский А. М., Касьянов В. Н. |
|
|
|
Всесоюз.конф. "Программное обеспечение вычислительных сетей и систем реального времени": Тез.докл. |
30.03.1993 |
М |
Методы трансляции |
1978 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
|
30.03.1993 |
СТ |
Технологические возможности оптимизации программ |
1979 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
Тез. докл. 1-ой Всесоюз. конф. по технологии программирования (секция К) |
30.03.1993 |
СТ |
Технологические возможности оптимизации программ |
1980 |
Поттосин И. В., Касьянов В. Н. |
|
|
|
Программирование |
30.03.1993 |
М |
Сборник заданий по практикуму на ЭВМ |
1986 |
Касьянов В. Н., Сабельфельд В. К. |
|
|
|
|
06.04.1993 |
М |
Введение в теорию оптимизации программ |
1985 |
Касьянов В. Н. |
|
|
ВЦ СО АН СССР |
|
06.04.1993 |
СТ |
Крупноблочная сегментация и распараллеливание схем программ |
1976 |
Касьянов В. Н., Вальковский В. А. |
|
|
|
Программирование |
06.04.1993 |
СТ |
К оценке частоты выполнения операторов и переходов в программе |
1975 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
Анализ структур программ в глобальной оптимизации |
1975 |
Касьянов В. Н., Трахтенброт М. Б. |
|
|
|
Труды Всесоюз. симп. по методам реализации новых алгоритмических языков. Ч.1 |
06.04.1993 |
СТ |
О нахождении аргументов и результатов в схемах с косвенной адресацией |
1976 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
Конференция молодых ученых по системному программированию |
1978 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
Анализ структур программ |
1980 |
Касьянов В. Н. |
|
|
|
Кибернетика |
06.04.1993 |
СТ |
Смешанные вычисления и оптимизация программ |
1979 |
Касьянов В. Н. |
|
|
|
Технология программирования: Тез. докл./I Всесоюз. конф., ИК АН УССР, Киев, 1979. Секция К |
06.04.1993 |
СТ |
К перестраиваемости коммутационных схем |
1975 |
Касьянов В. Н. |
|
|
|
Вычислительные методы и программирование |
06.04.1993 |
СТ |
К вопросу о реализации схем над распределенной памятью |
1977 |
Касьянов В. Н. |
|
|
|
Кибернетика |
06.04.1993 |
М |
Оптимизирую ие преобразования программ |
1988 |
Касьянов В. Н. |
|
|
|
|
06.04.1993 |
М |
Основы программирования на языке Паскаль |
1987 |
Касьянов В. Н. |
|
|
|
|
06.04.1993 |
М |
Сборник заданий по программированию |
1986 |
Касьянов В. Н., Сабельфельд В. К. |
|
|
|
|
06.04.1993 |
М |
Сборник индивидуальных заданий по практике на ЭВМ |
1981 |
Касьянов В. Н., Сабельфельд В. К., Трахтенброт М. Б. |
|
|
|
|
06.04.1993 |
СТ |
Анализ управляю их графов программ |
1973 |
Касьянов В. Н. |
|
|
|
Системное программирование: Материалы Всесоюз. симп., март, 1973. Ч.II |
06.04.1993 |
СТ |
Экономное преобразование несводимых графов |
1973 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование |
06.04.1993 |
СТ |
Об одном алгоритме выделения бикомпонент в ориентированном графе |
1974 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование |
06.04.1993 |
СТ |
Информационные связи и преобразование схем программ |
1974 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование: Тез. докл./III Всесоюз. симп., Кишинев. Т.2 |
06.04.1993 |
СТ |
Выделение гамаков в ориентированном графе |
1975 |
Касьянов В. Н. |
|
|
|
Доклады Академии наук СССР |
06.04.1993 |
А |
Комбинаторные задачи анализа программ и оптимизирующей трансляции |
1975 |
Касьянов В. Н. |
|
|
|
|
16.04.1993 |
М |
Алгоритмы на деревьях |
1989 |
Касьянов В. Н., Евстигнеев В. А. |
|
|
|
|
16.04.1993 |
СТ |
Язык для представления алгоритмов анализа программ |
1982 |
Касьянов В. Н. |
|
|
|
Методы и программы решения оптимальных задач на графах и сетях. Ч.1 |
16.04.1993 |
СТ |
Вопросы конкретизации программ |
1982 |
Касьянов В. Н. |
|
|
|
Проблемы системного и теоретического программирования |
16.04.1993 |
СТ |
Программы оптимизирую ие преобразования |
1982 |
Касьянов В. Н. |
|
|
|
Мат. энциклопедия |
16.04.1993 |
СТ |
Теоретико-графовые задачи в трансляции |
1982 |
Касьянов В. Н. |
|
|
|
Методы и программы решения оптимальных задач на графах и сетях. Ч.1 |
16.04.1993 |
СТ |
К обоснованию алгоритмов преобразования крупноблочных программ |
1981 |
Касьянов В. Н. |
|
|
|
Программирование |
16.04.1993 |
СТ |
Оптимизация крупноблочных программ |
1980 |
Касьянов В. Н. |
|
|
|
Методы математической логики в проблемах искусственного интеллекта и систематическое программирование: Тез. докл./Всесоюз. конф., Вильнюс, 1980. Ч.1 |
16.04.1993 |
СТ |
Перераспределение памяти в крупноблочных программах |
1980 |
Касьянов В. Н. |
|
|
|
Трансляция и модели программ |
16.04.1993 |
СТ |
Вопросы моделирования программ при их оптимизации |
1981 |
Касьянов В. Н. |
|
|
|
Тезисы докладов Всесоюз. конф. по методам трансляции, 3-5 февраля 1981 г., Новосибирск |
16.04.1993 |
СТ |
Быстрый алгоритм выделения максимальных линейных участков в программе |
1982 |
Касьянов В. Н. |
|
|
|
Математическая теория и практика системс программного обеспечения: Труды советско-болгарского сове ания |
16.04.1993 |