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...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2022 |
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2022
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/188637 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 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 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)
Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)
von: Shilov, N.V., et al.
Veröffentlicht: (2010)
APS C++ User's Library
von: Letichevsky, A., et al.
Veröffentlicht: (2008)
von: Letichevsky, A., et al.
Veröffentlicht: (2008)
Алгебро-логічний підхід до аналізу та обробки текстової інформації
von: Палагін, О.В., et al.
Veröffentlicht: (2010)
von: Палагін, О.В., et al.
Veröffentlicht: (2010)
Метод матричної резолюції в аспекті програмно-апаратної реалізації автоматизації управління
von: Теленик, С.Ф., et al.
Veröffentlicht: (2006)
von: Теленик, С.Ф., et al.
Veröffentlicht: (2006)
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
C# program verification problems: solution by a three-level method
von: Promsky, A.V.
Veröffentlicht: (2008)
von: Promsky, A.V.
Veröffentlicht: (2008)
Применение систем переписывания термов к анализу исходного программного кода
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)
Нечеткие модели мультиагентных систем в распределенной среде
von: Парасюк, И.Н., et al.
Veröffentlicht: (2010)
von: Парасюк, И.Н., et al.
Veröffentlicht: (2010)
На пути к верификации С-программ. Язык c-light и его трансформационная семантика
von: Непомнящий, В.А., et al.
Veröffentlicht: (2006)
von: Непомнящий, В.А., et al.
Veröffentlicht: (2006)
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
von: Глибовець, М.М., et al.
Veröffentlicht: (2006)
von: Глибовець, М.М., et al.
Veröffentlicht: (2006)
Методика автоматизованої трансформації схем алгоритмів
von: Шкуліпа, І.Ю., et al.
Veröffentlicht: (2010)
von: Шкуліпа, І.Ю., et al.
Veröffentlicht: (2010)
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
von: Яценко, Е.А.
Veröffentlicht: (2012)
von: Яценко, Е.А.
Veröffentlicht: (2012)
Задача проверки Т-выполнимости для логического языка VL1 системы VRS
von: Тимофеев, В.Г.
Veröffentlicht: (2012)
von: Тимофеев, В.Г.
Veröffentlicht: (2012)
Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
von: Максимець, О.М.
Veröffentlicht: (2012)
von: Максимець, О.М.
Veröffentlicht: (2012)
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2014)
von: Колчин, А.В., et al.
Veröffentlicht: (2014)
О технологиях построения и обработки математических моделей программ
von: Львов, С.М.
Veröffentlicht: (2007)
von: Львов, С.М.
Veröffentlicht: (2007)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2012)
von: Колчин, А.В.
Veröffentlicht: (2012)
Алгебра для описания данных в композиционных схемах алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2012)
von: Акуловский, В.Г.
Veröffentlicht: (2012)
Середовище конструювання алгоритмічних знань та інструментарій синтезу програм
von: Яценко, О.А.
Veröffentlicht: (2006)
von: Яценко, О.А.
Veröffentlicht: (2006)
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
von: Годлевский, А.Б., et al.
Veröffentlicht: (2010)
von: Годлевский, А.Б., et al.
Veröffentlicht: (2010)
Инструментальные средства трансформации схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2006)
von: Мохница, А.С.
Veröffentlicht: (2006)
Система композиционно-номинативного программирования SCRIPT.NET
von: Процик, П.П.
Veröffentlicht: (2008)
von: Процик, П.П.
Veröffentlicht: (2008)
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2008)
von: Мохница, А.С.
Veröffentlicht: (2008)
Повышение временной эффективности структур данных в оперативной памяти на основе адаптации
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2012)
von: Шинкаренко, В.И., et al.
Veröffentlicht: (2012)
Разработка и обоснование алгоритмов на основе семантических свойств
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)
Преобразование сортировки Хоара в параллельную форму на основе матриц сравнений
von: Ромм, Я.Е., et al.
Veröffentlicht: (2008)
von: Ромм, Я.Е., et al.
Veröffentlicht: (2008)
Экологические аспекты представления знаний средствами алгебры алгоритмики
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2010)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2010)
Методи аналізу програмних архітектур, представлених нечіткими графовими моделями
von: Парасюк, І.М., et al.
Veröffentlicht: (2006)
von: Парасюк, І.М., et al.
Veröffentlicht: (2006)
Средства проектирования объектно-ориентированных программ на основе алгебры алгоритмики
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2012)
Системи алгоритмічних алгебр. Прикладний аспект
von: Погорілий, С.Д., et al.
Veröffentlicht: (2006)
von: Погорілий, С.Д., et al.
Veröffentlicht: (2006)
Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)
von: Peschanenko, V., et al.
Veröffentlicht: (2018)
Partial evaluation in insertion modeling system
von: Peschanenko, V.
Veröffentlicht: (2013)
von: Peschanenko, V.
Veröffentlicht: (2013)
Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)
Neuro-symbolic approach for the biological systems and processes research
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)
Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)
von: V. Peschanenko, et al.
Veröffentlicht: (2018)
Модели экспертного анализа качества решений, принимаемых при управлении целевыми программами
von: Ильина, Е.П.
Veröffentlicht: (2008)
von: Ильина, Е.П.
Veröffentlicht: (2008)
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
von: Слабоспицька, О.О.
Veröffentlicht: (2018)
von: Слабоспицька, О.О.
Veröffentlicht: (2018)