Теоретико-графовые методы и системы программирования

Автор: Касьянов Виктор Николаевич, Касьянова Елена Викторовна

Журнал: Проблемы информатики @problem-info

Рубрика: Системная информатика

Статья в выпуске: 1 (30), 2016 года.

Бесплатный доступ

Статья посвящена теоретико-графовым методам и системам программирования, работа над которыми ведется в лаборатории конструирования и оптимизации программ ИСИ СО РАН при финансовой поддержке Российского фонда фундаментальных исследований.

Визуализация, графы, графовые алгоритмы, системы программирования

Короткий адрес: https://readera.ru/14362801

IDR: 14362801

Список литературы Теоретико-графовые методы и системы программирования

  • ЕРШОВ А. П. Введение в теоретическое программирование (беседы о методе). М.: Наука, 1977.
  • КАСЬЯНОВ В. Н. Ершов и графы в программировании//Андрей Петрович Ершов: ученый и человек. Новосибирск: Изд-во СО РАН, 2006. С. 150-157.
  • ЕВСТИГНЕЕВ В. А., КАСЬЯНОВ В. Н. ТОЛКОВЫЙ словарь по теории графов в информатике и программировании. Новосибирск: Наука, 1999.
  • ЕВСТИГНЕЕВ В. А., КАСЬЯНОВ В. Н. Словарь по графам в информатике. Новосибирск: Сибирское Научное Издательство, 2009.
  • КАСЬЯНОВ В. Н., ЕВСТИГНЕЕВ В. А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003.
  • DL BATTISTA G., EADES P., TAMASSIA R., TOLLIS I. G. Graph Drawing: Algorithms for Vizualization of Graphs. Frentice Hall, 1999
  • HERMAN I., MELANCON G., MARSHALL M. S. Graph visualization and navigation in information visualization: a survey//IEEE Trans, on Visualization and Computer Graphics. 2000. Vol. 6. F. 24-43.
  • КАСЬЯНОВ В. H., КАСЬЯНОВА Е. В. Визуализация информации па основе графовых моделей//Научная визуализация. 2014. Т. 6. № 1. С. 31-50.
  • КАСЬЯНОВ В. Н. Иерархические графы и графовые модели: вопросы визуальной обработки//Проблемы систем информатики и программирования. Новосибирск: ИСИ СО FAH, 1999. С. 7-32.
  • LISITSYN I. A., KASYANOV V. N. Higres visualization system for clustered graphs and graph algorithms//Lecture Notices in Computer Science. 1999. Vol. 1731. F. 82-89.
  • KASYANOV V. N., KASYANOVA E. V., ZOLOTUHIN T. A. Information visualization based on hierarchical graph models//International conference „Advanced mathematics, computations and applications 2014". Abstracts. Novosibirsk: Academizdat, 2014. P. 48.
  • KASYANOV V. N. Transformational approach to program concretization//Theoretical Computer Science. 1991. Vol. 90. N 1. P. 37-46.
  • GAUDIOT J.-L., DEBONI Т., FEO J., et all. The Sisal project: real world functional programming//Lecture Notices in Computer Science. 2001. Vol. 1808. P. 84-72.
  • КАСЬЯНОВ В. H., CTACEHKO А. П. Язык программирования Sisal 3.2//Методы и инструменты конструирования программ. Новосибирск: ИСИ СО РАН, 2007. С. 56-134.
Еще
Статья научная