Категория:Refal — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
Материалы связанные с редким языком Refal.
* {{Twittertag|refal}}
[[Категория:Языки программирования]] | |||
Версия 21:40, 5 апреля 2025
Материалы связанные с редким языком Refal.
Страницы в категории «Refal»
Показано 6 страниц из 6, находящихся в данной категории.
- Chipollino — как лабораторная работа превратилась в инструмент для исследований (Александр Дельман, OSEDUCONF-2024)
- Refal5-Version П3 (Андрей Немытых, OSSDEVCONF-2023)
- Опыт использования Рефала-5 для преобразования текстов на формальных языках (Даниил Исакевич, OSSDEVCONF-2024)
- Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)
- Эксперимент по созданию quick-and-dirty пруверов для оценки завершаемости в рамках рубежного контроля (Антонина Непейвода, OSEDUCONF-2022)
- Язык соединений и превращений для формальной эвологии (Даниил Исакевич, OSSDEVCONF-2024)