Программное обеспечение реализации предметно-ориентированного языка (DSL) для смарт-контрактов на CakeML
смарт – контракт, системы распределённого реестра (СРР), лидирующий исследовательский центр (ЛИЦ), сквозные цифровые технологии
Программа применима в разработке смарт-контрактов в системе распределённого реестра с полной формальной верификацией, разрабатываемой в лидирующем исследовательском центре (ЛИЦ), и предназначена для трансляции кода, написанного на предметно-ориентированном языке DSL в смарт-контракт на CakeML. Реализация DSL и модуль трансляции языка основаны на решении MPS. DSL записан согласно соответствующей спецификации MPS. Модуль трансляции записывает структуры языка DSL в компоненты смарт-контракта на языке CakeML. Входными данными для программы является код на DSL, выходными - код смарт-контракта на CakeML. Программа создана по Договору о предоставлении гранта от 20.03.2020 №004/20 на реализацию программы ЛИЦ, «сквозная» цифровая технология ЛИЦ – «Системы распределенного реестра», мероприятие программы ЛИЦ – «Разработка приложения для Индустриального партнера Программы ЛИЦ (смарт-контракт)». Тип ЭВМ: IBM PC-совмест. ПК; ОС: Linux.
Трансляция кода, написанного на предметно-ориентированном языке DSL в смарт-контракт на CakeML
Дудниченко А.В.
Руководитель центра
Семенихин К.В.
Директор
27.03.55
Теория доказательств
20.15.09
Отраслевые и ведомственные органы информации
28.25.19
Абстрактные машины
28.23.17
Логика в искусственном интеллекте
28.01.45
Преподавание
01.01.PO
MATHEMATICS, INTERDISCIPLINARY APPLICATIONS
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Александр
Бекташев
Киримович
Написание основного кода программы
Владимир
Семиков
Сергеевич
Написание основного кода программы
Николай
Васильев
Константинович
Проектирование архитектуры
Алена
Филиппова
Олеговна
Написание основного кода программы
ФОНД НТИ
ФОНД ПОДДЕРЖКИ ПРОЕКТОВ НАЦИОНАЛЬНОЙ ТЕХНОЛОГИЧЕСКОЙ ИНИЦИАТИВЫ
1167700062529
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Фонды
АНО ВО "Университет Иннополис"
Автономная некоммерческая организация высшего образования "Университет Иннополис"
1121600006142
Организация
Организации, учрежденные юридическими лицами или гражданами, или юридическими лицами и гражданами совместно
Автономные некоммерческие организации