SolType: Refinement Types for Solidity.

Bryan Tan Benjamin Mariano Shuvendu K. Lahiri Isil Dillig Yu Feng

Published in: CoRR (2021)

Keyphrases

case study
databases
information technology
real time
data sets
data mining
artificial intelligence
feature selection
database systems
image sequences
multiscale
multi agent
relational databases
wireless sensor networks