Formal semantics and analysis of tokenomics properties
Today we are witnessing the rapid development of products and services based on blockchain technology. Cryptocurrencies and tokens are becoming an integral part of a person’s daily life. One of the main and, at the same time, the most difficult task for each project is the creation of a self-governi...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2022 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут програмних систем НАН України
2022
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/188637 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Formal semantics and analysis of tokenomics properties / O.O. Letychevskyi, V.S. Peschanenko, M.Yu. Poltorackiy, Yu.H. Tarasich, M.O. Vinnyk // Проблеми програмування. — 2022. — № 3-4. — С. 128-138. — Бібліогр.: 14 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)
Алгебро-логічний підхід до аналізу та обробки текстової інформації
за авторством: Палагін, О.В., та інші
Опубліковано: (2010)
за авторством: Палагін, О.В., та інші
Опубліковано: (2010)
Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2006)
за авторством: Теленик, С.Ф., та інші
Опубліковано: (2006)
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)
за авторством: Безверха, М.А., та інші
Опубліковано: (2010)
C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008)
за авторством: Promsky, A.V.
Опубліковано: (2008)
Применение систем переписывания термов к анализу исходного программного кода
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
Нечеткие модели мультиагентных систем в распределенной среде
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2010)
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2010)
На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
за авторством: Глибовець, М.М., та інші
Опубліковано: (2006)
за авторством: Глибовець, М.М., та інші
Опубліковано: (2006)
Методика автоматизованої трансформації схем алгоритмів
за авторством: Шкуліпа, І.Ю., та інші
Опубліковано: (2010)
за авторством: Шкуліпа, І.Ю., та інші
Опубліковано: (2010)
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
за авторством: Яценко, Е.А.
Опубліковано: (2012)
за авторством: Яценко, Е.А.
Опубліковано: (2012)
Задача проверки Т-выполнимости для логического языка VL1 системы VRS
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)
Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
за авторством: Максимець, О.М.
Опубліковано: (2012)
за авторством: Максимець, О.М.
Опубліковано: (2012)
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2014)
за авторством: Колчин, А.В., та інші
Опубліковано: (2014)
О технологиях построения и обработки математических моделей программ
за авторством: Львов, С.М.
Опубліковано: (2007)
за авторством: Львов, С.М.
Опубліковано: (2007)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2012)
за авторством: Колчин, А.В.
Опубліковано: (2012)
Алгебра для описания данных в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г.
Опубліковано: (2012)
за авторством: Акуловский, В.Г.
Опубліковано: (2012)
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
за авторством: Яценко, О.А.
Опубліковано: (2006)
за авторством: Яценко, О.А.
Опубліковано: (2006)
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2010)
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2010)
Разработка и обоснование алгоритмов на основе семантических свойств
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)
Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2008)
за авторством: Ромм, Я.Е., та інші
Опубліковано: (2008)
Экологические аспекты представления знаний средствами алгебры алгоритмики
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2010)
за авторством: Цейтлин, Г.Е., та інші
Опубліковано: (2010)
Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2012)
за авторством: Шинкаренко, В.И., та інші
Опубліковано: (2012)
Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)
за авторством: Мохница, А.С.
Опубліковано: (2006)
Методи аналізу програмних архітектур, представлених нечіткими графовими моделями
за авторством: Парасюк, І.М., та інші
Опубліковано: (2006)
за авторством: Парасюк, І.М., та інші
Опубліковано: (2006)
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
Системи алгоритмічних алгебр. Прикладний аспект
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2006)
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2006)
Система композиционно-номинативного программирования SCRIPT.NET
за авторством: Процик, П.П.
Опубліковано: (2008)
за авторством: Процик, П.П.
Опубліковано: (2008)
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2008)
за авторством: Мохница, А.С.
Опубліковано: (2008)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)
Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.
Опубліковано: (2013)
за авторством: Peschanenko, V.
Опубліковано: (2013)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Neuro-symbolic approach for the biological systems and processes research
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
Модели экспертного анализа качества решений, принимаемых при управлении целевыми программами
за авторством: Ильина, Е.П.
Опубліковано: (2008)
за авторством: Ильина, Е.П.
Опубліковано: (2008)
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
за авторством: Слабоспицька, О.О.
Опубліковано: (2018)
за авторством: Слабоспицька, О.О.
Опубліковано: (2018)