?
18th International Symposium on Trends in Functional Programming
Springer, 2018.
Под общей редакцией: W. Meng, O. Scott
Главы книги
Булычев Д. Ю., Лозов П., , in: 18th International Symposium on Trends in Functional Programming.: Springer, 2018. P. 39–58.
Добавлено: 31 октября 2018 г.
Язык:
английский
Ключевые слова: functional programming
Ryzhenko I. N., Nepomnyaschy O. V., A. I. Legalov и др., Automatic Control and Computer Sciences 2023 Vol. 57 No. 7 P. 696–705
Добавлено: 27 февраля 2024 г.
Зыков С. В., Ай Пи Ар Медиа, 2022.
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Добавлено: 5 июня 2023 г.
Зыков С. В., Юрайт, 2023.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Добавлено: 5 июня 2023 г.
Рыженко И. Н., Непомнящий О. В., Легалов А. И. и др., Моделирование и анализ информационных систем 2022 Т. 29 № 1 С. 60–72
Предложены методы повышения эффективности разработки СБИС на основе метода архитектурно-независимого проектирования. Рассмотрен маршрут высокоуровневого синтеза СБИС. Изложен принцип построения аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.
Представлены результаты разработки методов и алгоритмов трансформации, функционально-потоковых параллельных программ в программы на языках описания аппаратуры, обеспечивающих поддержку процесса проектирования цифровых однокристальных систем. Рассмотрены принципы оценки и выделены классы ...
Добавлено: 18 марта 2022 г.
Салех Х. М., Зыков С. В., Legalov A., , in: Intelligent Decision Technologies: Proceedings of the 13th KES-IDT 2021 ConferenceТ. 238.: Сингапур: Springer, 2021. P. 355–363.
Добавлено: 5 августа 2021 г.
Буздалов Д. В., Петренко А. К., Хорошилов А. В., Programming and Computer Software 2019 Vol. 45 No. 8 P. 485–496
Добавлено: 22 июня 2021 г.
Поспелов И. Г., Жукова А. А., , in: 2020 European Control Conference (ECC).: Institute of Electrical and Electronics Engineers Inc., 2020. P. 1129–1134.
Добавлено: 8 декабря 2020 г.
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47
Одним из актуальных направлений развития технологий проектирования сверхбольших интегральных схем и вычислительных систем на их основе является высокоуровневый синтез. При описании проекта на верхних уровнях закладываются концепции общесистемного взгляда на организацию всего процесса проектирования. Поэтому на первый план выходит развитие маршрутов и технологий, базирующихся на принципах высокоуровневого, архитектурно независимого проектирования, позволяющих осуществлять формирование комплексного подхода ...
Добавлено: 29 октября 2020 г.
Зыков С. В., Соболев А. С., , in: Intelligent Decision Technologies 2019 (Vol.1)Vol. 1.: Springer, 2020. P. 299–312.
Добавлено: 3 ноября 2019 г.
Сошников Д. В., Kirilenko I., , in: 10th Central and Eastern European Software Engineering Conference in Russia, CEE-SECR 2014.: M.: Association for Computing Machinery (ACM), 2014.
Добавлено: 17 августа 2017 г.
M.: Association for Computing Machinery (ACM), 2014.
Добавлено: 17 августа 2017 г.
Dordrecht, L., Heidelberg, NY: Springer, 2013.
This Festschrift for Rinus Plasmeijer has been compiled to celebrate the combined occasion of Rinus’s 61st birthday and the 25th Symposium on Implementation and Application of Functional Languages.
For this Festschrift we invited all former PhD students of Rinus as well as researchers in the field of functional programming who are listed in joint publications with ...
Добавлено: 3 ноября 2013 г.