Теоретико-графовые методы и системы программирования
Автор: Касьянов Виктор Николаевич, Касьянова Елена Викторовна
Журнал: Проблемы информатики @problem-info
Рубрика: Системная информатика
Статья в выпуске: 1 (30), 2016 года.
Бесплатный доступ
Статья посвящена теоретико-графовым методам и системам программирования, работа над которыми ведется в лаборатории конструирования и оптимизации программ ИСИ СО РАН при финансовой поддержке Российского фонда фундаментальных исследований.
Визуализация, графы, графовые алгоритмы, системы программирования
Короткий адрес: https://sciup.org/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.
Статья научная
