Psamathe: a DSL for safe blockchain assets.

Published in: SPLASH (Companion) (2020)

Keyphrases

neural network
database systems
search algorithm
natural language
computational complexity
data sets
genetic algorithm
data analysis
spatio temporal
dynamic programming
scheduling problem
transaction costs