Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Orestis Melkonian"'
Autor:
Kenneth MacKenzie, Polina Vinogradova, Jann Müller, Philip Wadler, Orestis Melkonian, James Chapman, Manuel M. T. Chakravarty, Michael Peyton Jones
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
User-defined tokens—both fungible ERC-20 and non-fungible ERC-721 tokens—are central to the majority of contracts deployed on Ethereum. User-defined tokens are non-native on Ethereum; i.e., they are not directly supported by the ledger, but requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::13b1ad2873d3cc0fc16f48a4c55f050c
https://doi.org/10.1007/978-3-030-61467-6_7
https://doi.org/10.1007/978-3-030-61467-6_7
Autor:
Michael Peyton Jones, Orestis Melkonian, Manuel M. T. Chakravarty, Kenneth MacKenzie, Philip Wadler, James Chapman
Publikováno v:
Financial Cryptography and Data Security ISBN: 9783030544546
Financial Cryptography Workshops
Financial Cryptography Workshops
Bitcoin and Ethereum, hosting the two currently most valuable and popular cryptocurrencies, use two rather different ledger models, known as the UTXO model and the account model, respectively. At the same time, these two public blockchains differ str
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44cb3c1b0311c876a5ea118d3c41648c
https://doi.org/10.1007/978-3-030-54455-3_37
https://doi.org/10.1007/978-3-030-54455-3_37
Publikováno v:
FARM@ICFP
There is a plethora of computational systems designed for alagorithmic discovery of musical patterns, ranging from geometrical methods to machine learning based approaches. These algorithms often disagree on what constitutes a pattern, mainly due to
Autor:
Orestis Melkonian
Publikováno v:
FARM@ICFP
Music composers have long been attracted by the idea of an automated tool for music generation, that is able to aid them in their day-to-day compositional process. We focus on algorithmic composition techniques that do not aim to produce complete mus
Autor:
Tijmen van den Pol, Roan Oosenbrug, Jelle J. Oostveen, Craig Q.H.D. Leek, Wink M. van Zon, I. S. W. B. Prasetya, J. M. Everink, Jan van Bergen, Rick Meijerink, Thomas van der Klis, Orestis Melkonian, Joris ten Tusscher
Publikováno v:
ICSE (SEET)
There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ tha
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662596197
ESSLLI Student Sessions
ESSLLI Student Sessions
We discuss the open problem of parsing the Dyck language of 3 symbols, \(D^3\), using a 2-Multiple Context-Free Grammar. We attempt to tackle this problem by implementing a number of novel meta-grammatical techniques and present the associated softwa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03982c99534ec97cacb6944b7fb4d246
https://doi.org/10.1007/978-3-662-59620-3_5
https://doi.org/10.1007/978-3-662-59620-3_5
Publikováno v:
REBLS@SPLASH
Robotics and IoT applications are perfect candidates that can benefit from the functional reactive programming paradigm. Moreover, since a typical program can be represented as a dataflow graph, the application can be conceptually separated and distr