Standard

Программные средства поддержки дистанционного обучения функциональному программированию. / Касьянов, Виктор Николаевич; Малышев, А.А.

Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. ed. / В.Н. Касьянов. Новосибирск : ИПЦ НГУ, 2020. p. 1-9.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Касьянов, ВН & Малышев, АА 2020, Программные средства поддержки дистанционного обучения функциональному программированию. in ВН Касьянов (ed.), Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. ИПЦ НГУ, Новосибирск, pp. 1-9, Информатика: проблемы, методы, технологии, Воронеж, Russian Federation, 11.02.2020. <https://www.cs.vsu.ru/ipmt-conf/conf/2021/works/%D0%A8%D0%9A.5.%20%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D1%8D%D0%BB%D0%B5%D0%BA%D1%82%D1%80%D0%BE%D0%BD%D0%BD%D1%8B%D1%85%20%D0%BE%D0%B1%D1%80%D0%B0%D0%B7%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D1%85%20%D1%80%D0%B5%D1%81%D1%83%D1%80%D1%81%D0%BE%D0%B2/1647.dokl.pdf>

APA

Касьянов, В. Н., & Малышев, А. А. (2020). Программные средства поддержки дистанционного обучения функциональному программированию. In В. Н. Касьянов (Ed.), Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ (pp. 1-9). ИПЦ НГУ. https://www.cs.vsu.ru/ipmt-conf/conf/2021/works/%D0%A8%D0%9A.5.%20%D0%A0%D0%B0%D0%B7%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0%20%D0%B8%20%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5%20%D1%8D%D0%BB%D0%B5%D0%BA%D1%82%D1%80%D0%BE%D0%BD%D0%BD%D1%8B%D1%85%20%D0%BE%D0%B1%D1%80%D0%B0%D0%B7%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D1%85%20%D1%80%D0%B5%D1%81%D1%83%D1%80%D1%81%D0%BE%D0%B2/1647.dokl.pdf

Vancouver

Касьянов ВН, Малышев АА. Программные средства поддержки дистанционного обучения функциональному программированию. In Касьянов ВН, editor, Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. Новосибирск: ИПЦ НГУ. 2020. p. 1-9

Author

Касьянов, Виктор Николаевич ; Малышев, А.А. / Программные средства поддержки дистанционного обучения функциональному программированию. Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. editor / В.Н. Касьянов. Новосибирск : ИПЦ НГУ, 2020. pp. 1-9

BibTeX

@inproceedings{ef6bc1495f6540a994eb54d0fd33e720,
title = "Программные средства поддержки дистанционного обучения функциональному программированию",
abstract = "Облачная система параллельного программирования CPPS, разрабатываемая в Институте систем информатики СО РАН (ИСИ СО РАН), использует функциональный язык Cloud Sisal для разработки, отладки, верификации и исполнения параллельных программ через веб-браузер. В докладе рассмотрена созданная онлайн среда системы CPPS, которая вместе с созданными компилятором и профилировщиком системы позволяет пользователю на любомустройстве, имеющем выход в Интернет, разрабатывать и исполнять функциональные программы на языке Cloud Sisal.",
author = "Касьянов, {Виктор Николаевич} and А.А. Малышев",
note = "Касьянов В.Н., Малышев А.А. Программные средства поддержки дистанционного обучения функциональному программированию // Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. - Новосибирск : НГУ, 2020. - 256 с. Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ [Текст] = The cloud parallel programming system CPPS: visualization and verification of Cloud Sisal programs / В.Н. Касьянов, Д.С. Гордеев, Т.А. Золотухин [и др.] ; под редакцией В.Н. Касьянова ; Российская академия наук, Сибирское отделение, Институт [систем] информатики им. А. Н. Ершова. - Новосибирск : НГУ, 2020. - 256 с. : ил. ; 21 см. - (Конструирование и оптимизация программ : вып. 22). - Библиогр.: с. 243-251 (120 назв.). - 35 экз.; Информатика: проблемы, методы, технологии ; Conference date: 11-02-2020 Through 12-02-2020",
year = "2020",
language = "русский",
isbn = "978-5-4437-1123-2",
pages = "1--9",
editor = "В.Н. Касьянов",
booktitle = "Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ",
publisher = "ИПЦ НГУ",
address = "Российская Федерация",

}

RIS

TY - GEN

T1 - Программные средства поддержки дистанционного обучения функциональному программированию

AU - Касьянов, Виктор Николаевич

AU - Малышев, А.А.

N1 - Касьянов В.Н., Малышев А.А. Программные средства поддержки дистанционного обучения функциональному программированию // Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ. - Новосибирск : НГУ, 2020. - 256 с. Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ [Текст] = The cloud parallel programming system CPPS: visualization and verification of Cloud Sisal programs / В.Н. Касьянов, Д.С. Гордеев, Т.А. Золотухин [и др.] ; под редакцией В.Н. Касьянова ; Российская академия наук, Сибирское отделение, Институт [систем] информатики им. А. Н. Ершова. - Новосибирск : НГУ, 2020. - 256 с. : ил. ; 21 см. - (Конструирование и оптимизация программ : вып. 22). - Библиогр.: с. 243-251 (120 назв.). - 35 экз.

PY - 2020

Y1 - 2020

N2 - Облачная система параллельного программирования CPPS, разрабатываемая в Институте систем информатики СО РАН (ИСИ СО РАН), использует функциональный язык Cloud Sisal для разработки, отладки, верификации и исполнения параллельных программ через веб-браузер. В докладе рассмотрена созданная онлайн среда системы CPPS, которая вместе с созданными компилятором и профилировщиком системы позволяет пользователю на любомустройстве, имеющем выход в Интернет, разрабатывать и исполнять функциональные программы на языке Cloud Sisal.

AB - Облачная система параллельного программирования CPPS, разрабатываемая в Институте систем информатики СО РАН (ИСИ СО РАН), использует функциональный язык Cloud Sisal для разработки, отладки, верификации и исполнения параллельных программ через веб-браузер. В докладе рассмотрена созданная онлайн среда системы CPPS, которая вместе с созданными компилятором и профилировщиком системы позволяет пользователю на любомустройстве, имеющем выход в Интернет, разрабатывать и исполнять функциональные программы на языке Cloud Sisal.

UR - https://www.elibrary.ru/item.asp?id=46481782

M3 - статья в сборнике материалов конференции

SN - 978-5-4437-1123-2

SP - 1

EP - 9

BT - Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ

A2 - Касьянов, В.Н.

PB - ИПЦ НГУ

CY - Новосибирск

T2 - Информатика: проблемы, методы, технологии

Y2 - 11 February 2020 through 12 February 2020

ER -

ID: 34557142