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: Яценко, О.А.
Veröffentlicht: (2006)
von: Яценко, О.А.
Veröffentlicht: (2006)
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
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: Львов, С.М.
Veröffentlicht: (2007)
von: Львов, С.М.
Veröffentlicht: (2007)
Пошук інваріантів U-Y- програм інтераційним алгоритмом над абсолютно вільними алгебрами данних
von: Максимець, О.М.
Veröffentlicht: (2012)
von: Максимець, О.М.
Veröffentlicht: (2012)
Оптимизация проверки выполнимости переходов при верификации формальных моделей
von: Колчин, А.В.
Veröffentlicht: (2012)
von: Колчин, А.В.
Veröffentlicht: (2012)
Алгебра для описания данных в композиционных схемах алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2012)
von: Акуловский, В.Г.
Veröffentlicht: (2012)
Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання
von: Глибовець, М.М., et al.
Veröffentlicht: (2006)
von: Глибовець, М.М., et al.
Veröffentlicht: (2006)
Применение систем переписывания термов к анализу исходного программного кода
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: (2010)
von: Палагін, О.В., et al.
Veröffentlicht: (2010)
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
von: Колчин, А.В., et al.
Veröffentlicht: (2014)
von: Колчин, А.В., et al.
Veröffentlicht: (2014)
Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем
von: Яценко, Е.А.
Veröffentlicht: (2012)
von: Яценко, Е.А.
Veröffentlicht: (2012)
Нечеткие модели мультиагентных систем в распределенной среде
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)
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
von: Безверха, М.А., et al.
Veröffentlicht: (2010)
Инструментальные средства трансформации схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2006)
von: Мохница, А.С.
Veröffentlicht: (2006)
Алгебра алгоритмики и трансформационная сводимость схем алгоритмов и программ
von: Мохница, А.С.
Veröffentlicht: (2008)
von: Мохница, А.С.
Veröffentlicht: (2008)
Задача проверки Т-выполнимости для логического языка VL1 системы VRS
von: Тимофеев, В.Г.
Veröffentlicht: (2012)
von: Тимофеев, В.Г.
Veröffentlicht: (2012)
Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
von: Letichevsky, A., et al.
Veröffentlicht: (2013)
Partial evaluation in insertion modeling system
von: Peschanenko, V.
Veröffentlicht: (2013)
von: Peschanenko, V.
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)
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)
Подходы и задачи композиции сервисов в семантическом Web окружении
von: Дерецкий, В.А.
Veröffentlicht: (2008)
von: Дерецкий, В.А.
Veröffentlicht: (2008)
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі
von: Слабоспицька, О.О.
Veröffentlicht: (2018)
von: Слабоспицька, О.О.
Veröffentlicht: (2018)
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
von: Яценко, Е.А.
Veröffentlicht: (2013)
von: Яценко, Е.А.
Veröffentlicht: (2013)
Определение формальных языков в метаязыке нормальных форм знаний
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)
von: Кургаев, А.Ф., et al.
Veröffentlicht: (2017)
Реализация формализованного перехода от алгоритма к программе средствами расширенной алгебры алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)
von: Акуловский, В.Г.
Veröffentlicht: (2008)
Применение машинного обучения в программной инженерии: обзор
von: Мороз, О.Г., et al.
Veröffentlicht: (2019)
von: Мороз, О.Г., et al.
Veröffentlicht: (2019)
Обзор современных систем и методов верификации формальных моделей
von: Колчин, А.В., et al.
Veröffentlicht: (2012)
von: Колчин, А.В., et al.
Veröffentlicht: (2012)
Модели экспертного анализа качества решений, принимаемых при управлении целевыми программами
von: Ильина, Е.П.
Veröffentlicht: (2008)
von: Ильина, Е.П.
Veröffentlicht: (2008)
Ментальные аспекты методов символьной мультиобработки
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
von: Цейтлин, Г.Е., et al.
Veröffentlicht: (2008)
Рамкова модель адаптивного композитного сервісу в семантичному Веб-середовищі
von: Слабоспицька, О.О.
Veröffentlicht: (2017)
von: Слабоспицька, О.О.
Veröffentlicht: (2017)