Категория:Refal — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «* {{Twittertag|refal}}») |
StasFomin (обсуждение | вклад) |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
Материалы связанные с редким языком Refal. * {{Twittertag|refal}} [[Категория:Редкие языки программирования]] | |||
Текущая версия на 21:42, 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)