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

Виктор Николаевич Касьянов; А.А. Малышев

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

Виктор Николаевич Касьянов, А.А. Малышев

Programming Section

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

Abstract

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

Original language	Russian
Title of host publication	Система облачного параллельного программирования CPPS: визуализация и верификация Cloud Sisal программ
Editors	В.Н. Касьянов
Place of Publication	Новосибирск
Publisher	ИПЦ НГУ
Pages	1-9
Number of pages	9
ISBN (Print)	978-5-4437-1123-2
Publication status	Published - 2020
Event	Информатика: проблемы, методы, технологии - Воронеж, Russian Federation Duration: 11 Feb 2020 → 12 Feb 2020

Conference

Conference	Информатика: проблемы, методы, технологии
Country/Territory	Russian Federation
City	Воронеж
Period	11.02.2020 → 12.02.2020

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES

Access to Document

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

Cite this

Касьянов, В. Н., & Малышев, А. А. (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

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

@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 = "Российская Федерация",

}

Касьянов, ВН & Малышев, АА 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>

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

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

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

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 -

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

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

Abstract

Conference

OECD FOS+WOS

Access to Document

Other files and links

Cite this