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