СТ |
Эквивалентные преобразования кратных схем |
1982 |
Касьянов В. Н. |
|
|
|
Программирование |
16.04.1993 |
СТ |
Полнота класса крупноблочных схем |
1982 |
Касьянов В. Н. |
|
|
|
Программные системы и вопросы эффективности использования ЭВМ |
16.04.1993 |
СТ |
Автоматизированное построение программ путем их конкретизации |
1983 |
Касьянов В. Н. |
|
|
|
Проблемы и информатики и ее применения в управлении, обучении и научных исследованиях |
16.04.1993 |
СТ |
Контекстно-свободные преобразования аннотированных программ |
1983 |
Касьянов В. Н. |
|
|
|
Автоматизация производства пакетов прикладных программ и трансляторов |
16.04.1993 |
СТ |
Базис для оптимизации программ |
1983 |
Касьянов В. Н. |
|
|
|
Оптимизация и преобразования программ. Ч.1 |
16.04.1993 |
СТ |
Чистка циклов |
1983 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование: Тез. докл./Всесоюз. симп., Кишинев, 1983 |
16.04.1993 |
СТ |
Редуцирую ие преобразования программ |
1983 |
Касьянов В. Н. |
|
|
|
Трансляция и оптимизация программ |
16.04.1993 |
СТ |
Спецификация контекста для редукции программ |
1984 |
Касьянов В. Н. |
|
|
|
Проблемы системного и теоретического программирования |
16.04.1993 |
СТ |
Эквивалентные преобразования линейных участков программ |
1984 |
Касьянов В. Н. |
|
|
|
Трансляция и преобразования программ |
16.04.1993 |
СТ |
Методы анализа потока данных в программах |
1984 |
Касьянов В. Н. |
|
|
|
Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./Всесоюз. сове ание, Новосибирск |
16.04.1993 |
СТ |
Обоб енная задача анализа свойств программ |
1984 |
Касьянов В. Н. |
|
|
|
Методы и алгоритмы решения оптимизационных задач на графах и сетях: Тез. докл./III Всесоюз. сове ание, Новосибирск |
16.04.1993 |
СТ |
Конструирование качественных программ посредством конкретизирую их преобразований |
1985 |
Касьянов В. Н. |
|
|
|
Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 |
16.04.1993 |
СТ |
Методы факторизации алгоритмов анализа и преобразования программ |
1985 |
Касьянов В. Н. |
|
|
|
Надежность и качество программного обеспечения: Тез. докл./Республ. конф., Киев, 1985 |
16.04.1993 |
СТ |
Вопросы подготовки специалистов по программированию |
1985 |
Касьянов В. Н. |
|
|
|
Проблемы информатики и ее применения в управлении, обучении и научных исследованиях |
16.04.1993 |
СТ |
Учет априорной информации при анализе свойств состояний программ |
1985 |
Касьянов В. Н. |
|
|
|
Математическая теория программирования |
16.04.1993 |
СТ |
Конференция по методам трансляции и конструирования программ |
1985 |
Касьянов В. Н., Непомнящий В. А. |
|
|
|
Программирование |
16.04.1993 |
СТ |
Теоретико-графовые задачи анализа транслируемых программ |
1986 |
Касьянов В. Н. |
|
|
|
Исследования по прикладной теории графов |
16.04.1993 |
СТ |
Конструирование качественных программ методом конкретизирую их преобразований |
1986 |
Касьянов В. Н. |
|
|
|
Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ |
16.04.1993 |
СТ |
Анализ управляю их и информационных свойств программ, ориентированный на статическую проверку их правильности |
1986 |
Касьянов В. Н., Сабельфельд В. К. |
|
|
|
Проблемы совершенствования, синтеза, тестирования, верификации и отладки программ |
16.04.1993 |
СТ |
Вопросы редукции программ |
1986 |
Касьянов В. Н. |
|
|
|
Методы трансляции и конструирования программ |
16.04.1993 |
СТ |
Советско-французский семинар по информатике |
1986 |
Касьянов В. Н. |
|
|
|
Программирование |
16.04.1993 |
СТ |
Организация курса по методам трансляции |
1988 |
Касьянов В. Н. |
|
|
|
V семинар "Проблемы информатики и ее применения в управлении, обучении и научных исследованиях" |
16.04.1993 |
СТ |
Инструменты преобразования программ |
1988 |
Касьянов В. Н., Сабельфельд В. К. |
|
|
|
Автоматизированное рабочее место программиста |
16.04.1993 |
СТ |
Семантические преобразования программ |
1988 |
Касьянов В. Н. |
|
|
|
Методы трансляции и конструирования программ: Тез. докл. конф. |
16.04.1993 |
СТ |
Аннотирование программ и их преобразование |
1989 |
Касьянов В. Н. |
|
|
|
Программирование |
16.04.1993 |
СТ |
Трансформационный подход к конкретизации программ |
1989 |
Касьянов В. Н. |
|
|
|
Кибернетика |
16.04.1993 |
СТ |
Алгоритмические вопросы применения теории графов в программировании |
1989 |
Касьянов В. Н., Евстигнеев В. А. |
|
|
|
Методы и программы решения оптимизационных задач на графах и сетях: Труды IV Всесоюз. сове ания, Новосибирск |
16.04.1993 |
СТ |
АС- система для проверки и испытания программ |
1989 |
Касьянов В. Н. |
|
|
|
Планирование и автоматизация эксперимента в научных исследованиях: Труды IХ Всесоюз. конф. |
16.04.1993 |
СТ |
Система для проверки и испытания Фортран-программ |
1989 |
Касьянов В. Н. |
|
|
|
Автоматизированное проектирование программного обеспечения систем управления движением: Тез.докл. II Всесоюз. сове ания, Харьков |
16.04.1993 |
П |
Практический подход к оптимизации программ |
1978 |
Касьянов В. Н. |
|
|
ВЦ СО АН СССР |
|
16.04.1993 |
М |
Алгоритмы на деревьях |
1989 |
Касьянов В. Н., Евстигнеев В. А. |
|
|
|
|
16.04.1993 |
А |
Комбинаторные задачи анализа программ и оптимизирующей трансляции |
1975 |
Касьянов В. Н. |
|
|
|
|
16.04.1993 |
М |
Сборник индивидуальных заданий по практике на ЭВМ |
1981 |
Касьянов В. Н., Сабельфельд В. К., Трахтенброт М. Б. |
|
|
|
|
06.04.1993 |
М |
Сборник заданий по программированию |
1986 |
Касьянов В. Н., Сабельфельд В. К. |
|
|
|
|
06.04.1993 |
М |
Основы программирования на языке Паскаль |
1987 |
Касьянов В. Н. |
|
|
|
|
06.04.1993 |
М |
Оптимизирую ие преобразования программ |
1988 |
Касьянов В. Н. |
|
|
|
|
06.04.1993 |
СТ |
Анализ управляю их графов программ |
1973 |
Касьянов В. Н. |
|
|
|
Системное программирование: Материалы Всесоюз. симп., март, 1973. Ч.II |
06.04.1993 |
СТ |
Экономное преобразование несводимых графов |
1973 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование |
06.04.1993 |
СТ |
Информационные связи и преобразование схем программ |
1974 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование: Тез. докл./III Всесоюз. симп., Кишинев. Т.2 |
06.04.1993 |
СТ |
Об одном алгоритме выделения бикомпонент в ориентированном графе |
1974 |
Касьянов В. Н. |
|
|
|
Системное и теоретическое программирование |
06.04.1993 |
СТ |
Выделение гамаков в ориентированном графе |
1975 |
Касьянов В. Н. |
|
|
|
Доклады Академии наук СССР |
06.04.1993 |
СТ |
К перестраиваемости коммутационных схем |
1975 |
Касьянов В. Н. |
|
|
|
Вычислительные методы и программирование |
06.04.1993 |
СТ |
Анализ структур программ в глобальной оптимизации |
1975 |
Касьянов В. Н., Трахтенброт М. Б. |
|
|
|
Труды Всесоюз. симп. по методам реализации новых алгоритмических языков. Ч.1 |
06.04.1993 |
СТ |
К оценке частоты выполнения операторов и переходов в программе |
1975 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
Крупноблочная сегментация и распараллеливание схем программ |
1976 |
Касьянов В. Н., Вальковский В. А. |
|
|
|
Программирование |
06.04.1993 |
СТ |
О нахождении аргументов и результатов в схемах с косвенной адресацией |
1976 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
К вопросу о реализации схем над распределенной памятью |
1977 |
Касьянов В. Н. |
|
|
|
Кибернетика |
06.04.1993 |
СТ |
Конференция молодых ученых по системному программированию |
1978 |
Касьянов В. Н. |
|
|
|
Программирование |
06.04.1993 |
СТ |
Смешанные вычисления и оптимизация программ |
1979 |
Касьянов В. Н. |
|
|
|
Технология программирования: Тез. докл./I Всесоюз. конф., ИК АН УССР, Киев, 1979. Секция К |
06.04.1993 |
СТ |
Анализ структур программ |
1980 |
Касьянов В. Н. |
|
|
|
Кибернетика |
06.04.1993 |