Sign in

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain.

Theodoros KasampalisDwight GuthBrandon M. MooreTraian-Florin SerbanutaYi ZhangDaniele FilarettiVirgil Nicolae SerbanutaRalph JohnsonGrigore Rosu
Published in: FM (2019)
Keyphrases
  • specification language
  • database
  • databases
  • data sets
  • machine learning
  • artificial intelligence
  • case study
  • high level
  • conceptual graphs